- GitHub - AndrasKovacs/smalltt: Demo for high-performance type theory elaboration https://github.com/AndrasKovacs/smalltt#ghc-specific-optimizations 8 comments haskell
Linking pages
Linked pages
- The Haskell Cabal | Overview https://www.haskell.org/cabal/ 63 comments
- The Haskell Tool Stack https://docs.haskellstack.org/en/stable/README/ 47 comments
- GitHub - AndrasKovacs/flatparse: Fast parsing from bytestrings https://github.com/AndrasKovacs/flatparse 17 comments
- Checking Dependent Types with Normalization by Evaluation: A Tutorial https://davidchristiansen.dk/tutorials/nbe/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - AndrasKovacs/smalltt: Demo for high-performance type theory elaboration
See how to search.