A programming language with proofs and implicits (incomplete)
Primary LanguageScalaMIT LicenseMIT
A programming language