1 result found Sort:

jespercockx
agda-core jespercockx
3
46
unlicense
5
A work-in-progress core language for Agda, in Agda
agda agda-backend type-checker core-language dependent-types
Created 2023-01-20
291 commits to main branch, last one 9 days ago