search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
47 stars 7 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