Optimizing "counting" GADTs
26 May
2016
26 May
'16
5:21 a.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.
3513
Age (days ago)
3513
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Feuer