Repository for homework for Type Theory course
Primary LanguageScala
No one’s star this repository yet.