1 result found Sort:
A slow-paced introduction to reflection in Agda. ---Tactics!
Created
2019-05-14
14 commits to master branch, last one 2 years ago