A programming language with proofs and implicits (incomplete)
Primary LanguageScalaMIT LicenseMIT
No issues in this repository yet.