[Agda] Module definition order

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Fri May 23 11:58:54 CEST 2008


On Thu, May 22, 2008 at 8:55 PM, Samuel Bronson <naesten at gmail.com> wrote:
>
>> Something like this would also make "literate Agda" more useful.

> Too bad we are already using all of the symbols that could be used to
> make this pretty :-(

I don't follow you here. Are you being ironic?

-- 
/NAD


More information about the Agda mailing list