A little lambda calculus inspired by the one described in Crichton and Krishnamurthi's A Core Calculus for Documents.
Features:
- existentials and universals
- fix/unfix on the type-level
- open-sums style of implementation
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A little lambda calculus inspired by the one described in Crichton and Krishnamurthi's A Core Calculus for Documents.
Features: