ddc-core-0.4.2.1: Disciplined Disciple Compiler core language and type checker.
DDC.Core.Exp
Description
Abstract syntax for the Disciple core language.
module DDC.Core.Exp.Annot.Exp