Online Haskell real-time typechecker
blog.miliauskas.lt