25 Aug
2012
25 Aug
'12
3:33 p.m.
On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski wrote: Still unsure if the translation from
Haskell to Core has been verified, I would suspect not, as I haven't
heard of any such thing. If it is only Core that has semantics, then it wouldn't make sense to
verify the translation from Haskell to Core. Rather, the translation itself
would be the semantics of (sugared) Haskell.