[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:



More information about the Agda mailing list