> I just wanted to know if there is really no parametric polymorphism in Spad.
>
Parametric types available in Spad are more powerful than
parametric polymorphism in core ML, in particular you can
almost mechanically translate such code to Spad.
What Spad lacks is type reconstruction and general
Hi Grigory,
I am also looking forward to these pages being up again, or just have
the text content somewhere.
The another good reference you can probably find is in Martin Baker's site:
http://www.euclideanspace.com/maths/standards/program/spad/index.htm
On Fri, Jun 8, 2012 at 2:48 AM, Grigory
Any progress? The wiki is still shown in google search results, but
unfortunately its pages are not cashed. I just wanted to know if there is
really no parametric polymorphism in Spad.
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https:/
Tim,
You should have the 4 files together in a directory somewhere. After
setting up VirtualBox use the VirtualBox File/Import Applicance wizard
to import the .ovf file. VirtualBox will expand the .vmdk files into
about an 80 Gb. or more so be sure you have more than enough disk
space. I have onl
Bill,
I have the files, thank you.
I will see what it takes to set up the vbox.
Tim
On Thu, 2012-04-26 at 15:09 -0400, Bill Page wrote:
> Tim,
>
> You can download the VirtualBox virtual machine image from these URLs:
>
> http://boxen.math.washington.edu/home/page/vm/billpage.ovf
> http://boxe
Tim,
You can download the VirtualBox virtual machine image from these URLs:
http://boxen.math.washington.edu/home/page/vm/billpage.ovf
http://boxen.math.washington.edu/home/page/vm/billpage.mf
http://boxen.math.washington.edu/home/page/vm/{ba2c36ba-ef4f-4f02-aaf2-9e030d1741c0}.vmdk
http://boxen.m
If there is a site backup I can re-host the pages.
There is a lot of work invested that should not be lost.
Tim
On Sat, 2012-04-21 at 15:51 +0200, Ralf Hemmecke wrote:
> Dear all,
>
> since about two weeks now http://axiom-wiki.newsynthesis.org/
> http://axiom-portal.newsynthesis.org/ are down.
Dear all,
since about two weeks now http://axiom-wiki.newsynthesis.org/
http://axiom-portal.newsynthesis.org/ are down. The virtual machine is
no longer hosted by a computer of the sage progject.
Looks like nobody is using these sites. There were no complaints so far.
Is there someone (beside