Safe Haskell | Safe-Infered |
---|
An Untyped Lambda Calculus AST
Documentation
A polymorphic version of the AST to allow different symbol types
Safe Haskell | Safe-Infered |
---|
An Untyped Lambda Calculus AST
A polymorphic version of the AST to allow different symbol types