Safe Haskell | Safe-Infered |
---|
Language.Lambda.Untyped.Syntax
Description
An Untyped Lambda Calculus AST
Documentation
A polymorphic version of the AST to allow different symbol types
lambda-ast-0.0.12: Lambda Calculi Abstract Syntax Trees
Safe Haskell | Safe-Infered |
---|
Language.Lambda.Untyped.Syntax
Description
An Untyped Lambda Calculus AST
A polymorphic version of the AST to allow different symbol types