| author | pwm@cs.nott.ac.uk |
| local date | Tue, 19 Jun 2012 15:07:14 |
| date | Tue, 19 Jun 2012 14:07:14 |
| hash | 20120619140714-8a29d-4e60d9f49aadc18120bc3a350720900f307b932d.gz |
| src/Elaboration/Ambulando.lhs | +2 -1 | diff | history | annotate |
| src/Elaboration/NewElaborator.lhs | +5 -10 | diff | history | annotate |
| src/Elaboration/NewRunElab.lhs | +7 -1 | diff | history | annotate |
| src/Evidences/TypeCheckRules.lhs | +1 -0 | diff | history | annotate |
| src/Main.lhs | +30 -1 | diff | history | annotate |