Module types

simple_semantics::lambda

Module types 

Source
Expand description

Defines the basic type system of the lambda calculus

Structs§

RetrievableTypeIterator
A struct which recursively gets the right hand side of a given lambda expression
TypeParsingError
Unable to parse a type.

Enums§

LambdaType
The basic type system of the lambda calculus and LOT.
TypeError
An error from applying types incorrectly.