| author | pwm@cs.nott.ac.uk |
| local date | Wed, 14 Dec 2011 18:42:54 |
| date | Wed, 14 Dec 2011 18:42:54 |
| hash | 20111214184254-8a29d-96c2801608338621e5accda0a630696c380f0426.gz |
| src/Cochon/Cochon.lhs | +13 -2 | diff | history | annotate |
| src/DisplayLang/PrettyPrint.lhs | +2 -1 | diff | history | annotate |
| src/Elaboration/Ambulando.lhs | +50 -43 | diff | history | annotate |
| src/Elaboration/Ambulando.lhs-boot | +2 -2 | diff | history | annotate |
| src/Elaboration/NewElabMonad.lhs | +2 -2 | diff | history | annotate |
| src/Elaboration/NewElaborator.lhs | +16 -15 | diff | history | annotate |
| src/Elaboration/NewRunElab.lhs | +73 -20 | diff | history | annotate |
| src/Evidences/EtaQuote.lhs | +1 -1 | diff | history | annotate |
| src/Evidences/TypeCheckRules.lhs | +2 -1 | diff | history | annotate |
| src/Evidences/TypeChecker.lhs | +1 -1 | diff | history | annotate |
| src/ProofState/GetSet.lhs | +10 -3 | diff | history | annotate |
| src/ProofState/Navigation.lhs | +3 -3 | diff | history | annotate |
| src/SourceLang/SourceParser.lhs | +3 -0 | diff | history | annotate |