[Haskell-cafe] ordNub

[Stijn van Drongelen]

On Fri, Oct 18, 2013 at 3:03 PM, Andreas Abel <andreas.abel at 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? ;)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131018/5d4bd569/attachment.html>