Re: [Haskell-cafe] ordNub

On Fri, Oct 18, 2013 at 3:03 PM, Andreas Abel 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? ;)