Poett is an implementation of a subset of the Calculus of Inductive Constructions in Haskell. Its aim is to display how a small dependent typechecker can be implemented with a focus on inductive types.
vmarionneau/Poett
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|