On Fri, Oct 18, 2013 at 3:03 PM, Andreas Abel <andreas.abel@ifi.lmu.de> wrote:

P.S.: The Agda source has tons of .hs-boot files, I hate them, but what can you do?


Implement support for mutually recursive modules? ;)