On 15/12/2010 12:46, Iain Lane wrote:
> Please upload them, I'll see what I can do with stdlib soon. In the
> meantime it's easy for users to download and install it themselves if
> they wish.
dput fired. :-)
Gio.
--
Giovanni Mascellani
Pisa, Italy
Web: http://poisson.phc.unipi.it/~mascellani
On Wed, Dec 15, 2010 at 12:34:22PM +0100, Giovanni Mascellani wrote:
Hi.
On 14/12/2010 08:53, Giovanni Mascellani wrote:
agda and agda-bin seem to be ok, but unfortunately my computer isn't
able to compile agda-stdlib (it runs out of memory on a 2 GB RAM
machine: is this normal?). I'll try on o
Hi.
On 14/12/2010 08:53, Giovanni Mascellani wrote:
> agda and agda-bin seem to be ok, but unfortunately my computer isn't
> able to compile agda-stdlib (it runs out of memory on a 2 GB RAM
> machine: is this normal?). I'll try on other machines as soon as I can.
> In the meantime, does it make se