lean-bindings-0.1: Haskell bindings to the Lean Theorem Prover. (Index - C)

lean-bindings-0.1: Haskell bindings to the Lean Theorem Prover.

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
:
<
All

Index - C

CertDecl	Language.Lean.Internal.Decl, Language.Lean.Decl, Language.Lean
CertDeclPtr	Language.Lean.Internal.Decl
check	Language.Lean.Decl, Language.Lean
checkType	Language.Lean.Typechecker, Language.Lean
concatList	Language.Lean.List, Language.Lean
Constant	Language.Lean.Decl, Language.Lean
constant	Language.Lean.Decl, Language.Lean
constExpr	Language.Lean.Expr, Language.Lean
ConstraintSeq	Language.Lean.Internal.Typechecker, Language.Lean.Typechecker, Language.Lean
ConstraintSeqPtr	Language.Lean.Internal.Typechecker
containsOption	Language.Lean.Options, Language.Lean