graded-haskell

Graded Dependent Type systems

GitHub

23 stars
5 watching
1 forks
Language: Coq
last commit: over 1 year ago
coqmetalib