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

Evidences.Tm: split in smaller files #55

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Basically, the current \subsection structure could be split at the file level. 

Then, the Evidences.* directory becomes a bit over-populated, so we would 
benefit from an Evidences.Syntax.* (the stuffs previously in Tm.lhs) and 
Evidences.Semantics.* (the stuffs previously in Rules.lhs) structure.

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