Cantor

My tiny statically-typed, type-inferenced language. A proper description is coming soon, but in the interim the Haskell source is available from my mercurial repository.