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

Macro.tex, pig.sty: get a unique, global version (if possible) #38

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
I know of 3 different versions of those 2 guys:
 - the ones in src/
 - the ones in paper/icfp-2010-desc
 - the ones in paper/stratisfaction

All of them are wildly diverging. I reckon that it's impossible to merge the 
icfp version and the stratisfaction version. However, one of them ought to work 
well for Epigram.

Ideally, we could have a central definition in src/, import it into the various 
papers, potentially using renewcommand to overwrite some definitions.

Original issue reported on code.google.com by pedag...@gmail.com on 11 Aug 2010 at 6:24

GoogleCodeExporter commented 8 years ago

Original comment by pedag...@gmail.com on 11 Aug 2010 at 6:55

GoogleCodeExporter commented 8 years ago 
I have been using the macros in src/ for documenting PropSimp, and would 
definitely like to have a tidier (and documented!) version.

Original comment by adamgundry on 12 Aug 2010 at 7:44