Add type functions (-) and ToNat1; Turn FromNat1 into a closed family.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Tue, 24 Sep 2013 13:22:54 +0000 (06:22 -0700)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Tue, 24 Sep 2013 13:22:54 +0000 (06:22 -0700)
commitfc904366944214c135f31492f96be453c9760cf8
tree83f7a1f3b946f59a5f7c70b1be0cb5414fd1c7ac
parentc831b4acbff53754e7280d72970d77dd9532fe1d
Add type functions (-) and ToNat1;  Turn FromNat1 into a closed family.
GHC/TypeLits.hs