darcs - Pig09

repos / Pig09 / summary

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

Epigramming across the Continent

RSS