[Agda] Hello World
Guillaume Yziquel
guillaume.yziquel at gmx.ch
Mon Aug 8 09:31:51 CEST 2011
Le Monday 08 Aug 2011 à 08:58:54 (+0200), Guillaume Yziquel a écrit :
> Le Monday 08 Aug 2011 à 08:39:31 (+0200), Ben Clifford a écrit :
> >
> > It sounds like you want -i . -i /usr/lib/agda-stdlib
> >
> > Ben
>
> Hmm... I had hoped there were some way to define some kind of default
> locations for the libraries.
>
> Thanks, I'll try that right away.
Somewhat surprised to see the generated binary weight something like 3
to 4 megabytes just for a Hello World program.
--
Guillaume Yziquel
More information about the Agda
mailing list