[Agda] Bin._<_

Nils Anders Danielsson nad at chalmers.se
Fri Aug 3 22:38:20 CEST 2012


On 2012-08-02 15:04, Serge D. Mechveliani wrote:
> Another question:  where is explained the meaning of the word `using'
>                     in the import declaration?

I think this question is answered in the draft reference manual that is
available on the wiki:

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Modules

-- 
/NAD


More information about the Agda mailing list