darcs - Pig09

repos / Pig09 / summary

11 months ago	pwm@cs.nott.ac.uk	pig eats source	commit \| commitdiff
11 months ago	conor@cis.strath.ac.uk	try.epi	commit \| commitdiff
11 months ago	pwm@cs.nott.ac.uk	elab EpiDoc stub	commit \| commitdiff
12 months ago	conor@cis.strath.ac.uk	compiling under 7.4; no idea what it does	commit \| commitdiff
15 months ago	adam.gundry@strath.ac.uk	We need higher-order unification, but we aint got it	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	More unification in elaboration	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	Better fix - now deals with ambiguity	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	Mare graceful failure when mispalling tactic names	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	exTm elab in Cochon	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	Hoping for a proof of a reflexive eq gives refl	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	Whoops	commit \| commitdiff
16 months ago	pwm@cs.nott.ac.uk	Conchon meet Parx, Parx - Cochon	commit \| commitdiff
17 months ago	pwm@cs.nott.ac.uk	Unfinished monkey business	commit \| commitdiff
17 months ago	pwm@cs.nott.ac.uk	elab Pi	commit \| commitdiff
17 months ago	pwm@cs.nott.ac.uk	Bug ficing elaboration	commit \| commitdiff
...

Epigramming across the Continent

RSS