Neat! I wish we'd had this a couple of years ago when Dylan Lukes was playing around with his STG-like toy.
-Edward On Wed, Jan 15, 2014 at 4:34 PM, Edward Z. Yang <[email protected]> wrote: > For those of you who aren't following the commit list, I've just pushed > a PLT Redex <http://redex.racket-lang.org/> definition for an STG-like > language as was defined in the fast curry paper. This language is *not* > STG. The hope is that this will be a good starting point for actually > formalizing STG as it exists today. I've included a hefty comment block > at the top of the development summarizing ways in which this could be > improved. Take a look if you're interested! > > Cheers, > Edward > _______________________________________________ > ghc-devs mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
