Incremental lambda calculus in the HOAS style, based on
"A Theory of Changes for Higher-Order Languages" by Cai, Giarrusso, Rendel and Ostermann.
Package
purescript-incremental-functions
- Repository
- paf31/purescript-incremental-functions
- License
- MIT
- Uploaded by
- paf31
- Published on
- 2018-04-07T01:41:28Z
- Modules
- Data.
Incremental - Data.
Incremental. Array - Data.
Incremental. Eq - Data.
Incremental. Map - Data.
Incremental. Monoid - Data.
Incremental. Record - Data.
Incremental. Tuple
- Dependencies
- purescript-enums ^3.2.1
- purescript-filterable ^2.4.1
- purescript-maps ^3.0.0
- purescript-record ^0.2.6
- purescript-these ^3.0.0
- purescript-typelevel-prelude ^2.6.0