Calculus v0.3.0 Calculus View Source

New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Inspired by Alonzo Church.

Link to this section Summary

Link to this section Functions

Imports Calculus.defcalculus/2 macro

Link to this macro

defcalculus(quoted_state, list)

View Source (macro)

Macro to define λ-type

Link to this macro

defcalculus(quoted_state, opts, list)

View Source (macro)

Macro to define λ-type