Toy dependent typechecker using normalization by evaluation for fun and absolutely no profit. Based off of András Kovács' Elaboration Zoo - 03-holes and David Christiansen's tutorial, but using names instead of de Bruijn indices
-
Notifications
You must be signed in to change notification settings - Fork 0
toy dependent typechecker / interpreter for my own educational purposes
License
m-schm/lambda-pi
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
toy dependent typechecker / interpreter for my own educational purposes
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published