search

mwleeds / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Implement the "with" gadget #17

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
For the Holy Trinity to be complete, we have to implement the "with" gadget
from "View from the left".

It should be in ./Tactics/Gadgets.lhs

Original issue reported on code.google.com by pedag...@gmail.com on 16 May 2010 at 4:20