Recursion on TypeNats
Barney Hilken
b.hilken at ntlworld.com
Mon Oct 27 21:13:05 UTC 2014
Ok, I've created a ticket https://ghc.haskell.org/trac/ghc/ticket/9731
Unfortunately I don't know enough about ghc internals to try implementing it.
More information about the Glasgow-haskell-users
mailing list