On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski <krismicin...@gmail.com > 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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe