Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcSMonad.lhs
Find file
Blame
History
Permalink
Add some operations on type-level naturals.
· 3151f79a
Iavor S. Diatchki
authored
Jan 16, 2011
The core of the work happens in module TcTypeNats (a new module).
3151f79a