[racket] I love TR

From: Raoul Duke (raould at gmail.com)
Date: Thu Sep 20 20:10:55 EDT 2012

On Thu, Sep 20, 2012 at 3:40 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
> If these people were serious, Xanadu would get a lot more play. From what I can tell, it is a dependently typed language that worked. (But yes, it has been abandoned.)

do you mean http://www.cs.bu.edu/~hwxi/Xanadu/Xanadu.html? 'cause i
think ATS2 is the real still on-going concern, from the same PI.
http://www.ats-lang.org

Posted on the users mailing list.