Category Theory implementation in Scala heavily using techniques from Dependent Types
Primary LanguageScalaMIT LicenseMIT
No issues in this repository yet.