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

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

Index - R

R	Disco.AST.Generic, Disco.AST.Surface
Randomized	Disco.Value
Randomness	Disco.Extensions
ratv	Disco.Value
Ref	Disco.Doc
ref	Disco.Doc
Reference
1 (Type/Class)	Disco.Doc
2 (Data Constructor)	Disco.Doc
RefType	Disco.Doc
refType	Disco.Doc
RelMap
1 (Type/Class)	Disco.Typecheck.Solve
2 (Data Constructor)	Disco.Typecheck.Solve
Rels
1 (Type/Class)	Disco.Typecheck.Solve
2 (Data Constructor)	Disco.Typecheck.Solve
renderDoc	Disco.Pretty.DSL, Disco.Pretty
renderDoc'	Disco.Pretty.DSL, Disco.Pretty
REPL	Disco.Module
replModInfo	Disco.Eval
REPLModule	Disco.Names
Report	Disco.Report
reserved	Disco.Parser
reservedOp	Disco.Parser
ReservedVarName	Disco.Parser
reservedWords	Disco.Parser
resolveAlias	Disco.Exhaustiveness.TypeInfo
resolveModule	Disco.Module
Resolver	Disco.Module
restrictKeys	Disco.Context
resugarList	Disco.Exhaustiveness
resugarPair	Disco.Exhaustiveness
resugarString	Disco.Exhaustiveness
resultIsCertain	Disco.Value
retSingle	Disco.Exhaustiveness.Possibilities
right	Disco.Exhaustiveness.TypeInfo
RList	Disco.Report
RNest	Disco.Report
rPA	Disco.Pretty.Prec, Disco.Pretty
RSeq	Disco.Report
rt	Disco.Pretty
RTxt	Disco.Report
runCESK	Disco.Interpret.CESK
runCounter	Disco.Effects.Counter
runCounter'	Disco.Effects.Counter
runDesugar	Disco.Desugar
runDisco	Disco.Eval
runFresh	Disco.Effects.Fresh
runFresh'	Disco.Effects.Fresh
runFresh1	Disco.Effects.Fresh
runInputConst	Disco.Effects.Input
runInputList	Disco.Effects.Input
runInputSem	Disco.Effects.Input
runLazyState	Disco.Effects.State
runLFresh	Disco.Effects.LFresh
runLFresh'	Disco.Effects.LFresh
runParser	Disco.Parser
runSolve	Disco.Typecheck.Solve
runState	Disco.Effects.State
runStateIORef	Disco.Effects.State
runStateSTRef	Disco.Effects.State
runStore	Disco.Effects.Store
runTCM	Disco.Eval
runTest	Disco.Interpret.CESK
RVSeq	Disco.Report