Skip to content
GitLab
Explore
Sign in
Register
jberryman
GHC
Repository
ghc
libraries
base
GHC
TypeLits.hs
Find file
Blame
History
Permalink
Add type functions (-) and ToNat1; Turn FromNat1 into a closed family.
· 35d55a62
Iavor S. Diatchki
authored
Sep 24, 2013
35d55a62