On Thu, Sep 20, 2012 at 3:40 PM, Matthias Felleisen <[email protected]> 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 ____________________ Racket Users list: http://lists.racket-lang.org/users
