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-06-24T22:11:58Z
- Modules
- Data.
Incremental - Data.
Incremental. Array - Data.
Incremental. Eq - Data.
Incremental. Map - Data.
Incremental. Monoid - Data.
Incremental. Record - Data.
Incremental. Tuple
- Dependencies
- purescript-enums ^4.0.0
- purescript-filterable ^3.0.0
- purescript-record ^1.0.0
- purescript-these ^4.0.0
- purescript-tuples ^5.0.0
- purescript-typelevel-prelude ^3.0.0