1 result found Sort:

3
44
unlicense
6
A work-in-progress core language for Agda, in Agda
Created 2023-01-20
255 commits to main branch, last one 3 months ago