1 result found Sort:

jespercockx
agda-core jespercockx
3
42
unlicense
6
A work-in-progress core language for Agda, in Agda
agda agda-backend type-checker core-language dependent-types
Created 2023-01-20
255 commits to main branch, last one about a month ago