repos / Pig09 / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs | raw
Hoping for a proof of a reflexive eq gives refl
authorpwm@cs.nott.ac.uk
local dateFri, 06 Jan 2012 14:27:47
dateFri, 06 Jan 2012 14:27:47
hash20120106142747-8a29d-3859001d0d8bae9f6f54f24dfc28883caece420c.gz
Hoping for a proof of a reflexive eq gives refl

Ignore-this: 7aaa7f3cb1edb1bf7be4d1289cc7890f
1 file(s) changed:
src/Elaboration/NewRunElab.lhs +10 -0 diff | history | annotate
Epigramming across the Continent