[Haskell-cafe] ordNub

Stijn van Drongelen rhymoid at gmail.com
Fri Oct 18 13:20:05 UTC 2013

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>

More information about the Haskell-Cafe mailing list