4 ms·
GHC's Core language is amazingly small https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/core-syn-type https://gitlab.haskell.org/ghc/ghc/-/wikis/c
by kryptiskt 4y ago
GHC's Core language is amazingly small https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/core-syn-type https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compil..., and it's just polymorphic lambda calculus (with coercions added a while ago).