Skip to content
master
Go to file
Code

Latest commit

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Jun 24, 2018
Apr 1, 2018
Jun 24, 2018
Jun 24, 2018

README.md

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.

You can’t perform that action at this time.