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

EqGreen could disappear #22

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Another IRC conversation (5-6 June). 

Quoting Conor:

"we could just make the con constructor for blue equality do one step of
expansion, with blue equality for the bits. We don't really make use of the
way green equality computes lots of steps at once."

Original issue reported on code.google.com by pedag...@gmail.com on 5 Jun 2010 at 11:46