[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