jyp / nano-AgdaLinks

Tiny type-checker with dependent types
78Updated 11 years ago

Alternatives and similar repositories for nano-Agda

Users that are interested in nano-Agda are comparing it to the libraries listed below

Sorting: