/purescript-incremental-functions

Incremental lambda calculus

Primary LanguagePureScriptMIT LicenseMIT

purescript-incremental-functions

Build Status

Incremental lambda calculus in the HOAS style, based on

"A Theory of Changes for Higher-Order Languages" by Cai, Giarrusso, Rendel and Ostermann.