repos / Pig09 / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs | raw
We need higher-order unification, but we aint got it
authoradam.gundry@strath.ac.uk
local dateThu, 16 Feb 2012 17:06:27
dateThu, 16 Feb 2012 17:06:27
hash20120216170627-d77c6-1b6c671819b5d395b27ed913dd3202d2b14740fd.gz
We need higher-order unification, but we aint got it

Ignore-this: 3fe519724a44aacfe69b192271ba58b6
2 file(s) changed:
src/Elaboration/NewRunElab.lhs +39 -4 diff | history | annotate
src/Evidences/Tm.lhs +14 -0 diff | history | annotate
Epigramming across the Continent