Optimizing "counting" GADTs
25 May
2016
25 May
'16
7:51 p.m.
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.
3282
Age (days ago)
3282
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Feuer