Package

purescript-incremental

Repository
paf31/purescript-incremental
License
MIT
Uploaded by
paf31

Incremental lambda calculus in the HOAS style, based on

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