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

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 - T

Theorem	Language.Lean.Decl, Language.Lean
theorem	Language.Lean.Decl, Language.Lean
theoremWith	Language.Lean.Decl, Language.Lean
throwLeanException	Language.Lean.Internal.Exception
toList	Language.Lean.List, Language.Lean
traverseList	Language.Lean.List, Language.Lean
trustHigh	Language.Lean.Env, Language.Lean
TrustLevel	Language.Lean.Env, Language.Lean
tryAllocLeanValue	Language.Lean.Internal.Exception
tryGetEnum	Language.Lean.Internal.Exception.Unsafe
tryGetLeanMaybeValue	Language.Lean.Internal.Exception.Unsafe
tryGetLeanValue	Language.Lean.Internal.Exception.Unsafe
Typechecker	Language.Lean.Internal.Typechecker, Language.Lean.Typechecker, Language.Lean
typechecker	Language.Lean.Typechecker, Language.Lean
TypecheckerPtr	Language.Lean.Internal.Typechecker