hpie is a programming language based on dependent types, incorporating advanced techniques such as Normalization by Evaluation and bidirectional type checking.
The implementation of this project is inspired by pie and the book "The Little Typer".
kamome1037/hpie
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|