Epilogue
for Epigram
EpiDarcs- pig eats source by pwm - Tue, 19 Jun 2012 14:07
- try.epi by conor - Tue, 19 Jun 2012 11:31
- elab EpiDoc stub by pwm - Tue, 19 Jun 2012 11:30
- compiling under 7.4; no idea what it does by conor - Wed, 09 May 2012 10:10
- We need higher-order unification, but we aint got it by adam.gundry - Thu, 16 Feb 2012 17:06
- More unification in elaboration by pwm - Fri, 13 Jan 2012 16:11
- Better fix - now deals with ambiguity by pwm - Fri, 06 Jan 2012 15:43
- Mare graceful failure when mispalling tactic names by pwm - Fri, 06 Jan 2012 15:20
- exTm elab in Cochon by pwm - Fri, 06 Jan 2012 15:05
- Hoping for a proof of a reflexive eq gives refl by pwm - Fri, 06 Jan 2012 14:27
- Whoops by pwm - Fri, 06 Jan 2012 14:13
- Conchon meet Parx, Parx - Cochon by pwm - Fri, 06 Jan 2012 14:03
- Unfinished monkey business by pwm - Thu, 15 Dec 2011 19:32
- elab Pi by pwm - Thu, 15 Dec 2011 12:06
- Bug ficing elaboration by pwm - Wed, 14 Dec 2011 18:42