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

Index - U

UDisco.Types
uaDisco.Exhaustiveness
UAtomDisco.Types
uatomToAtomDisco.Types
uatomToEitherDisco.Types
uatomToTypeSubstDisco.Types
UBDisco.Types
ubsBySortDisco.Typecheck.Solve
UDDisco.AST.Surface
UFixityDisco.Syntax.Operators
ugetPADisco.Pretty.Prec, Disco.Pretty
uisVarDisco.Types
unbindDisco.Effects.Fresh
UnboundDisco.Typecheck.Util
UnboundErrorDisco.Error
UnboundPanicDisco.Error
UnboundTyVarDisco.Typecheck.Util
UnificationDisco.Types
unifyDisco.Typecheck.Unify
unify'Disco.Typecheck.Unify
unifyAtomsDisco.Typecheck.Unify
unifyUAtomsDisco.Typecheck.Unify
UnionDisco.Syntax.Operators
UnitDisco.Types
unitDisco.Exhaustiveness.TypeInfo
unknownDisco.Exhaustiveness.TypeInfo
unpairDisco.Types
UnqualDisco.Typecheck.Solve
UnqualBaseDisco.Typecheck.Solve
unRelMapDisco.Typecheck.Solve
UnsolvableDisco.Typecheck.Util
UntilDisco.AST.Generic, Disco.AST.Surface
unVMDisco.Typecheck.Solve
UOpDisco.Syntax.Operators
UOpFDisco.Syntax.Operators
uopMapDisco.Syntax.Operators
uPrecDisco.Syntax.Operators
URLDisco.Doc
useDisco.Effects.State
UVDisco.Types