tag:blogger.com,1999:blog-5722310642266356003.post3908043981225898259..comments2024-01-07T23:21:32.676+01:00Comments on The Axis of Eval: Taf's translation to O'Caml for type-checkingUnknownnoreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5722310642266356003.post-71674588136156767122013-02-12T06:13:38.061+01:002013-02-12T06:13:38.061+01:00What are your thoughts/opinions on Shen (formerly ...What are your thoughts/opinions on Shen (formerly Qi)?Artinoreply@blogger.com