1 result found Sort:
A work-in-progress core language for Agda, in Agda
Created
2023-01-20
208 commits to main branch, last one about a month ago