[Agda] Mapping QNames to module names?
Ulf Norell
ulf.norell at gmail.com
Tue Oct 4 15:45:59 CEST 2011
On Tue, Oct 4, 2011 at 3:43 PM, Alan Jeffrey <ajeffrey at bell-labs.com> wrote:
> Do I not have to worry about the case where there's top level modules Foo
> and Foo.Bar when emitting Foo.Bar.baz?
No. The two "Foo" will be different in this case.
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111004/52983afa/attachment-0001.html
More information about the Agda
mailing list