Conversation
Replying to
This one? twitter.com/graydon_pub/st - yeah, I've seen it before! Need to look at it in more depth though. Mentions some similar stuff I want to do in Pikelet.
Quote Tweet
Monnier: Typer: ML boosted with type theory and Scheme
iro.umontreal.ca/~monnier/typer