Andre Knispel
Results
1
repositories owned by
Andre Knispel
meta-cedille
55
Stars
0
Forks
Watchers
Minimalistic dependent type theory with syntactic metaprogramming
