[racket] Defining a typed language

From: Konrad Hinsen (konrad.hinsen at fastmail.net)
Date: Mon Oct 20 07:08:54 EDT 2014

Sam Tobin-Hochstadt writes:

 > Hmm, that surprises me; I'll take a look.

Thanks!  I have put the code on Github for easier access:

  https://github.com/khinsen/racket-typed-lang

Once this works, it can serve as a template for others.

Konrad.

Posted on the users mailing list.