descriptionEpigram '09
last changeThu, 02 Sep 2010 14:46:49
urlhttp://www.e-pig.org/darcs/Pig09
shortlog
16 hours ago pwm@cs.nott.ac.uk Tm is once again First-Order - Hurrah
18 hours ago james@cs.ioc.ee updated the glossary in the manual
18 hours ago james@cs.ioc.ee added vector append from "the art of the possiblee" to t ...
19 hours ago james@cs.ioc.ee synchronized the manual
32 hours ago Pierre-Evariste Dagand opTy: use a namesupplied pity.
32 hours ago Pierre-Evariste.Dagand ... Add recbug result.
37 hours ago adam.gundry@cis.strath ... Update Below.pig and NiceInductionPrinciple.pig now that ...
38 hours ago adam.gundry@cis.strath ... Initial work on source language infrastructure
39 hours ago Pierre-Evariste Dagand Fix epitome.
39 hours ago Pierre-Evariste Dagand Fix(?) to recbug.
40 hours ago pwm@cs.nott.ac.uk Recursion spotting bug
2 days ago conor@cis.strath.ac.uk notes: stuff on interaction and where-clauses
2 days ago adam.gundry@cis.strath ... PropSimp: only simplify functions from enumerations when ...
2 days ago adam.gundry@cis.strath ... IData.pig: simple tests of idata tactic so we notice if ...
2 days ago pwm@cs.nott.ac.uk Fixed idata bootstrapping w.r.t. Anchors for Enum
...