- How Dependent Haskell Can Improve Industry Projects https://serokell.io/blog/how-dependent-haskell-can-improve-industry-projects 13 comments haskell
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler http://aosabook.org/en/ghc.html 32 comments
- Tezos: A blockchain designed to evolve https://tezos.com 25 comments
- Support the design for dependent types by goldfirere · Pull Request #378 · ghc-proposals/ghc-proposals · GitHub https://github.com/ghc-proposals/ghc-proposals/pull/378 22 comments
- Understanding Haskell Features Through Their Desugaring https://serokell.io/blog/haskell-to-core 11 comments
- http://www.haskell.org/onlinereport/haskell2010/ 11 comments
- GHC Development https://ghc.dev 7 comments
- Serokell Shop https://shop.serokell.io 1 comment
- Michelson âThe Language of Tezos smart-contracts https://www.michelson.org/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:serokell.io
Search title: How Dependent Haskell Can Improve Industry Projects
See how to search.