purescript-incremental-functions
Incremental lambda calculus in the HOAS style, based on
"A Theory of Changes for Higher-Order Languages" by Cai, Giarrusso, Rendel and Ostermann.
Incremental lambda calculus
Incremental lambda calculus in the HOAS style, based on
"A Theory of Changes for Higher-Order Languages" by Cai, Giarrusso, Rendel and Ostermann.
Incremental lambda calculus
MIT License