ddc-core-0.3.2.1: Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe-Inferred

DDC.Core.Exp

Description

Abstract syntax for the Disciple core language.

Documentation

module DDC.Core.Exp.Annot