[Agda] Module definition order

[Nils Anders Danielsson]

On Fri, May 23, 2008 at 9:51 PM, Samuel Bronson <naesten at gmail.com> wrote:
>
> No! I was thinking of Knuth's notation... think \equiv-reasoning.

Ah! Well, the point I was trying to make was that if your source
language is sufficiently flexible, then you have less need for the
source code reordering features of a full-blown literate programming
system.

-- 
/NAD