discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
GitHub - AndrasKovacs/smalltt: Demo for high-performance type theory elaboration
https://github.com/AndrasKovacs/smalltt#ghc-specific-optimizations
8 comments
16/12/2021
haskell