impl-paper/Some effort at reporting line numbers of errors (top level of decl only)15 years ago lib/Better elaboration order; also changed instance argument syntax slightly15 years ago samples/Made samples directory15 years ago src/Better elaboration order; also changed instance argument syntax slightly15 years ago LICENSEFix LICENSE15 years ago MakefileSugar for dependent pairs15 years ago READMEFirst commit15 years ago miniidris.cabalBeginning theorem prover interface15 years ago