Talk:Aldor

Untitled

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)

Merge with A#

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)

free Aldor link?

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

Does Aldor really have dependent types?

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)

Support?

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)