- Liquid Haskell tutorial: terse, interactive, lovely https://liquid.kosmikus.org/01-intro.html 10 comments haskell
Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:liquid.kosmikus.org
Search title: Liquid Haskell Tutorial
See how to search.