free-compiler-0.3.0.0: A Haskell to Coq compiler.

Safe HaskellNone
LanguageHaskell2010

FreeC.LiftedIR.Syntax

Description

This module exports the syntax constructs for the lifted IR representation.

Documentation

module FreeC.LiftedIR.Syntax.Expr

module FreeC.LiftedIR.Syntax.Name

module FreeC.LiftedIR.Syntax.Type