Home
last modified time | relevance | path

Searched refs:guardedness (Results 1 – 25 of 66) sorted by relevance

123

/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Equality/
H A DRewrite.agda1 {-# OPTIONS --without-K --rewriting --no-sized-types --no-guardedness
H A DErase.agda1 {-# OPTIONS --with-K --safe --no-sized-types --no-guardedness
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/
H A DUnit.agda2 --no-sized-types --no-guardedness --no-subtyping #-}
H A DMaybe.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DWord.agda2 --no-sized-types --no-guardedness --no-subtyping #-}
H A DIO.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DEquality.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DCoinduction.agda2 --guardedness --no-subtyping #-}
H A DSigma.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DTrustMe.agda1 {-# OPTIONS --no-sized-types --no-guardedness --no-subtyping #-}
H A DBool.agda2 --no-sized-types --no-guardedness --no-subtyping #-}
H A DInt.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DChar.agda2 --no-sized-types --no-guardedness --no-subtyping #-}
H A DFromNat.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DFromNeg.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DFromString.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DSize.agda2 --no-guardedness --no-subtyping #-}
H A DStrict.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Char/
H A DProperties.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Float/
H A DProperties.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Word/
H A DProperties.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Reflection/
H A DProperties.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
H A DExternal.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness --no-subtyping #-}
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/String/
H A DProperties.agda1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
/dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Cubical/
H A DSub.agda1 {-# OPTIONS --cubical --safe --no-sized-types --no-guardedness

123