Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
typecheck
TcTypeNats.hs
Find file
Blame
History
Permalink
Add a type-function for subtraction.
· 5cf36697
Iavor S. Diatchki
authored
Sep 24, 2013
This is used in the definition of `ToNat1` in the `base` library (module GHC.TypeLits).
5cf36697