Description
Haskell and Agda code for the article "The Calculated Typer"
| Date made available | 6 Aug 2025 |
|---|---|
| Publisher | ZENODO |
Haskell and Agda code for the article "The Calculated Typer"
- Zac Garby (Creator)
- Patrick Bahr (Creator)
- Graham Hutton (Creator)
Dataset