disco-0.1.5: Functional programming language for teaching discrete math.
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
$
%
.
<
=
@
|
_
All
Index - F
F
Disco.Types
Fact
Disco.Syntax.Operators
filter
Disco.Context
filterDups
Disco.Typecheck
filterErrors
Disco.Typecheck.Solve
findRep
Disco.Pretty
findRep'
Disco.Pretty
foldTelescope
Disco.AST.Generic
,
Disco.AST.Surface
for
Disco.Util
Forall
Disco.Types
forAll
Disco.Typecheck.Util
ForallGuard
Disco.AST.Generic
ForallLink
Disco.AST.Generic
ForallPattern
Disco.AST.Generic
ForallQual
Disco.AST.Generic
ForallTerm
Disco.AST.Generic
Fraction
Disco.AST.Core
Fresh
1 (Type/Class)
Disco.Effects.Fresh
2 (Data Constructor)
Disco.Effects.Fresh
fresh
Disco.Effects.Fresh
freshAtom
Disco.Typecheck.Util
FreshDict
1 (Type/Class)
Disco.Effects.Fresh
2 (Data Constructor)
Disco.Effects.Fresh
freshQ
Disco.Effects.Fresh
freshTy
Disco.Typecheck.Util
fresh_
Disco.Effects.Fresh
FromCwdOrStdlib
Disco.Module
FromDir
Disco.Module
FromDirOrStdlib
Disco.Module
fromList
1 (Function)
Disco.Subst
2 (Function)
Disco.Context
fromSide
Disco.AST.Generic
fromSimpleValue
Disco.Value
FromStdlib
Disco.Module
fromTelescope
Disco.AST.Generic
,
Disco.AST.Surface
funPA
Disco.Pretty.Prec
, Disco.Pretty
funPrec
Disco.Syntax.Operators
fvQ
Disco.Names