On 2010-04-15 13:30, Guillaume Allais wrote: > The standard library has to be downloaded Starting with the next release of Ubuntu (two weeks away) the standard library is also available: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Linux -- /NAD