<div dir="ltr">Very cool! Thanks for sharing!</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jan 15, 2014 at 4:34 PM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">For those of you who aren't following the commit list, I've just pushed<br>
a PLT Redex <<a href="http://redex.racket-lang.org/" target="_blank">http://redex.racket-lang.org/</a>> definition for an STG-like<br>
language as was defined in the fast curry paper.  This language is *not*<br>
STG.  The hope is that this will be a good starting point for actually<br>
formalizing STG as it exists today.  I've included a hefty comment block<br>
at the top of the development summarizing ways in which this could be<br>
improved.  Take a look if you're interested!<br>
<br>
Cheers,<br>
Edward<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>