Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.TypeChecking.Forcing
Documentation
addForcingAnnotations
::
Type
->
TCM
Type
Source
forcedVariables
::
Term
->
TCM
[
Nat
]
Source
force
:: [
Nat
] ->
Type
->
Type
Source
Produced by
Haddock
version 2.6.1