Language.Lambda.Untyped.Syntax

An Untyped Lambda Calculus AST

Documentation

data GExpr a

A polymorphic version of the AST to allow different symbol types

Constructors

Var a

App (GExpr a) (GExpr a)

Lam a (GExpr a)

Instances

Typeable1 GExpr

Eq a => Eq (GExpr a)

Data a => Data (GExpr a)

Show a => Show (GExpr a)

type Sym = String

A common symbol type choice

type Expr = GExpr Sym

A common AST