lambda-ast-0.0.1: Untyped Lambda Calculus Abstract Syntax Tree
Language.Lambda.AST
Description
An Untyped Lambda Calculus AST
Synopsis
data GExpr a Source
A polymorphic version of the AST to allow different symbol types
Constructors
Instances
type Sym = StringSource
A common symbol type choice
type Expr = GExpr SymSource
A common AST