1 result found Sort:
Minimalistic dependent type theory with syntactic metaprogramming
Created
2019-06-12
273 commits to master branch, last one 10 months ago