1 result found Sort:

jespercockx
agda-core jespercockx
3
41
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 17 days ago