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