Optimizing "counting" GADTs

David Feuer david.feuer at gmail.com
Wed May 25 23:51:36 UTC 2016

I've started a wiki page,
https://ghc.haskell.org/trac/ghc/wiki/OptimizeCountingGADTs , to consider
optimizing GADTs that look like natural numbers but that possibly have
"heavy zeros". Please take a look.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160525/a3c4ce53/attachment.html>

More information about the ghc-devs mailing list