You mean as the the POPL paper, http://lambda-the-ultimate.org/node/2622 ?
And just as PLT Scheme announces they're moving to immutable, pure lists
http://lambda-the-ultimate.org/node/2631
They'll be getting a type system soon, at this rate ;)
-- Don_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe