dedukti-1.0.2: A type-checker for the » -modulo calculus.
Contents
Index
Search:
ap
Dedukti.Runtime
App
Dedukti.Runtime
bbox
Dedukti.Runtime
Box
Dedukti.Runtime
checkDeclaration
Dedukti.Runtime
checkRule
Dedukti.Runtime
Code
Dedukti.Runtime
Con
Dedukti.Runtime
convertible
Dedukti.Runtime
Kind
Dedukti.Runtime
Lam
Dedukti.Runtime
obj
Dedukti.Runtime
Pi
Dedukti.Runtime
sbox
Dedukti.Runtime
start
Dedukti.Runtime
stop
Dedukti.Runtime
TApp
Dedukti.Runtime
Term
Dedukti.Runtime
TLam
Dedukti.Runtime
TPi
Dedukti.Runtime
TType
Dedukti.Runtime
Type
Dedukti.Runtime
UBox
Dedukti.Runtime
Var
Dedukti.Runtime