search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
48 stars 7 forks source link

Give Epigram a bootstrapped prelude #69

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
It is becoming increasingly obvious (e.g. issue 48) that manually embedding 
evidence terms in Haskell code is too painful. We need some process for 
bootstrapping a prelude, so that we can write Epigram code and have it 
converted into Haskell (semi-)automatically. The 'haskell' tactic in 
Tactics.ShowHaskell is a first attempt at making this easier, but it makes lots 
of assumptions about other Haskell definitions and can't cope with programming 
problems. Any ideas about how to proceed?

Original issue reported on code.google.com by adamgundry on 31 Aug 2010 at 1:56