sweirich / trellys

Automatically exported from code.google.com/p/trellys
45 stars 6 forks source link

Add SepPP's "morejoin" tactic #19

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
(Maybe could be done using elaboration, too).

Original issue reported on code.google.com by vilhelm....@gmail.com on 4 Jul 2011 at 5:53