Talk:Aldor

If I'm not mistaken I read somewhere that it is now available under an open source license.

Nearly: unfortunately, Aldor is only semi-free, that is, non-commercial use only. See the Aldor homepage. Mantepse (talk) 16:13, 13 December 2007 (UTC)

A_Sharp_(Axiom) should really merged into this article. Well, most of the material there is quite uninteresting and outdated. Anybody who knows a little bit about Aldor willing to expand this article? Mantepse (talk) 16:13, 13 December 2007 (UTC)

the "free Aldor" link appears to be broken —Preceding unsigned comment added by 98.223.202.213 (talk) 11:48, 28 March 2008 (UTC)

I've added "citation needed" to the claim that Aldor has dependent types, because I can't find a definitive statement that Aldor has types that can depend on values that are not themselves types.—greenrd (talk) 18:03, 29 June 2008 (UTC)

At last check, Aldor was supported by only one person, Stephane Dalmas, at INRIA Sophia-Antipolis and that was over a decade ago. Aldor seemed doomed. Is Aldor even relevant today?TonyMath (talk) 09:26, 10 October 2010 (UTC)

:I've just tried to download the source code from the development server in Canada, and the server is not responding. I'm categorising this article as about discontinued software - please revert if the server comes back up again and demonstrates that the project is being maintained.--greenrd (talk) 16:10, 10 October 2010 (UTC)

::I fully agree. Your results confirm my suspicions. I also think that Axiom itself should be checked.TonyMath (talk) 22:40, 10 October 2010 (UTC)

:: I just downloaded the Aldor source code from https://aquarium.aldor.csd.uwo.ca/svn/ . You can also try http://aquarium.aldor.csd.uwo.ca/svn/ . I'm going to remove the category of "Discontinued programming languages".--Jamie Michelle (talk) 02:54, 23 October 2010 (UTC)

::: I just tried it again, and it's again not responding. Is it the server often down at weekends? Is it only accessible from inside the university?--greenrd (talk) 13:58, 26 January 2013 (UTC)

:::: Downloading the development version works: http://www.aldor.org/distrib/Aldor-2013.tgz Sloshmag (talk) 08:36, 14 July 2013 (UTC)