disco-0.2: Functional programming language for teaching discrete math. (Index - U)

disco-0.2: Functional programming language for teaching discrete math.

Index - U

U	Disco.Types
ua	Disco.Exhaustiveness
UAtom	Disco.Types
uatomToAtom	Disco.Types
uatomToEither	Disco.Types
uatomToTypeSubst	Disco.Types
UB	Disco.Types
ubsBySort	Disco.Typecheck.Solve
UD	Disco.AST.Surface
UFixity	Disco.Syntax.Operators
ugetPA	Disco.Pretty.Prec, Disco.Pretty
uisVar	Disco.Types
unbind	Disco.Effects.Fresh
Unbound	Disco.Typecheck.Util
UnboundError	Disco.Error
UnboundPanic	Disco.Error
UnboundTyVar	Disco.Typecheck.Util
Unification	Disco.Types
unify	Disco.Typecheck.Unify
unify'	Disco.Typecheck.Unify
unifyAtoms	Disco.Typecheck.Unify
unifyUAtoms	Disco.Typecheck.Unify
Union	Disco.Syntax.Operators
Unit	Disco.Types
unit	Disco.Exhaustiveness.TypeInfo
unknown	Disco.Exhaustiveness.TypeInfo
unpair	Disco.Types
Unqual	Disco.Typecheck.Solve
UnqualBase	Disco.Typecheck.Solve
unRelMap	Disco.Typecheck.Solve
Unsolvable	Disco.Typecheck.Util
Until	Disco.AST.Generic, Disco.AST.Surface
unVM	Disco.Typecheck.Solve
UOp	Disco.Syntax.Operators
UOpF	Disco.Syntax.Operators
uopMap	Disco.Syntax.Operators
uPrec	Disco.Syntax.Operators
URL	Disco.Doc
use	Disco.Effects.State
UV	Disco.Types