Index - A
| addBind | DDC.Core.Eval.Store |
| allocBind | DDC.Core.Eval.Store |
| allocBinds | DDC.Core.Eval.Store |
| annotOfExp | DDC.Core.Eval.Compounds |
| annotOfWitness | DDC.Core.Eval.Compounds |
| arityOfName | DDC.Core.Eval.Env |
| arityOfType | DDC.Core.Eval.Compounds |
ddc-core-eval-0.4.1.3: Disciplined Disciple Compiler semantic evaluator for the core language.