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

ProofState: graphical representations of data-structure #56

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
It would be very helpful to have graphical representations of the various 
data-structure used in the ProofState, esp. in 
ProofState.Structure.Developments and ProofState.Edition.ProofContext.

That could be done with a bit of TikZ, or whatever vector graphic system you 
like.

Otherwise, we could present them as they are currently pretty-printed by 
Cochon. At any rate, having a visual intuition of these things is very helpful.

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