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

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

setStateOptions	Language.Lean.IOS, Language.Lean
showUniv	Language.Lean.Internal.Univ, Language.Lean.Univ, Language.Lean
showUnivUsing	Language.Lean.Internal.Univ, Language.Lean.Univ, Language.Lean
someIOS	Language.Lean.Internal.IOS
SomeIOState	Language.Lean.Internal.IOS
SomeIOStatePtr	Language.Lean.Internal.IOS
sortExpr	Language.Lean.Expr, Language.Lean
Standard	Language.Lean.Internal.IOS, Language.Lean.IOS, Language.Lean
standardEnv	Language.Lean.Env, Language.Lean
StandardRepr	Language.Lean.IOS, Language.Lean
stateTypeRepr	Language.Lean.IOS, Language.Lean
stdPath	Language.Lean.Module, Language.Lean
StringName	Language.Lean.Internal.Name, Language.Lean.Name, Language.Lean
stringOption	Language.Lean.Options, Language.Lean
succUniv	Language.Lean.Univ, Language.Lean