lambda-pi-0.1.0: λΠ-calculus implemented in a few different ways. (Index - S)

lambda-pi-0.1.0: λΠ-calculus implemented in a few different ways.

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

Index - S

ScopedTerm	Language.LambdaPi.Syntax.Abs
ScopedTerm'	Language.LambdaPi.Syntax.Abs
Second
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.FreeFoilTH
3 (Data Constructor)	Language.LambdaPi.Impl.FreeFoil
SecondE	Language.LambdaPi.Impl.Foil
SecondF	Language.LambdaPi.Impl.FreeFoil
SecondSig	Language.LambdaPi.Impl.FreeFoilTH
Status	Language.LambdaPi.Syntax.Layout
sToken	Language.LambdaPi.Syntax.Layout
substitute
1 (Function)	Language.LambdaPi.Impl.FoilTH
2 (Function)	Language.LambdaPi.Impl.Foil
substituteRefresh	Language.LambdaPi.Impl.Foil