[Agda-dev] More efficient handling of TopLevelModuleNames

Dominique Devriese dominique.devriese at cs.kuleuven.be
Wed Dec 3 13:13:23 CET 2014


2014-12-03 11:26 GMT+01:00 Andreas Abel <abela at chalmers.se>:
> I'd certainly prefer a clean solution like you outline.  The question is
> where such a table should be located.

Thanks for this explanation, now a hash-based approach indeed seems
reasonable...

Dominique


More information about the Agda-dev mailing list