ddc-core-eval-0.4.1.3: Disciplined Disciple Compiler semantic evaluator for the core language.

Index - A

addBindDDC.Core.Eval.Store
allocBindDDC.Core.Eval.Store
allocBindsDDC.Core.Eval.Store
annotOfExpDDC.Core.Eval.Compounds
annotOfWitnessDDC.Core.Eval.Compounds
arityOfNameDDC.Core.Eval.Env
arityOfTypeDDC.Core.Eval.Compounds