Package

purescript-incremental-functions

Repository
paf31/purescript-incremental-functions
License
MIT
Uploaded by
paf31
Published on
2018-04-07

Incremental lambda calculus in the HOAS style, based on

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