search

mwleeds / epigram

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

Demo: more informative goal status information #97

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
For example, the definition of trans in Plus.pig is automatically solved but it 
is not clear to the spectator.

Similarly, sometimes, a call of elim w/ motive is enough to kill some or all 
branches. However, the spectator does not know it.

For the demo, we surely want more info about what is going on.

Original issue reported on code.google.com by pedag...@gmail.com on 7 Sep 2010 at 3:37

GoogleCodeExporter commented 8 years ago 
(another example is plusZ in Plus.pig)

Original comment by pedag...@gmail.com on 7 Sep 2010 at 3:38