Last incarnation of my dependent type implementation attempt
Primary LanguageScala
No issues in this repository yet.