| 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. |
|
![[logo]](/logo.png){kind=logo}