Region, Effect and Closure Inference, implemented

Last post

Ben Lippmeier has posted an implementation of his region, effect, and closure inference in a Haskell dialect called The Disciplined Disciple Compiler.