Monthly Archives: November 2012

> {-# LANGUAGE DoRec #-} > import Control.Monad.Tardis A few months ago, I released the tardis package. I promised a few blog posts about it, but put it off until now. If you haven’t heard of my "tardis" package yet, … Continue reading →

My experience with Typed Racket A while ago, I began a project to re-implement Racket’s web server library in Typed Racket (TR) by providing type annotations to the existing code. I began by typing the xml collection library, but after … Continue reading →