| author | conor@cis.strath.ac.uk |
| local date | Thu, 24 Nov 2011 16:23:01 |
| date | Thu, 24 Nov 2011 16:23:01 |
| hash | 20111124162301-5aa40-5e21448a0264ede8ecb91ad278c77a631d2b9660.gz |
| src/Elaboration/NewElaborator.lhs | +2 -1 | diff | history | annotate |
| src/Epitome.lhs | +7 -0 | diff | history | annotate |