- Using dependent types to write proofs in Haskell https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments haskell
Linked pages
- Basic Type Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 47 comments
- An introduction to typeclass metaprogramming http://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/ 42 comments
- Data.Type.Equality https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Type-Equality.html#t::-126-: 17 comments
- Introduction to Singletons (Part 1) · in Code https://blog.jle.im/entry/introduction-to-singletons-1.html 14 comments
- 6.8.8. Instance declarations and resolution — Glasgow Haskell Compiler 9.7.20230125 User's Guide https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/instances.html#overlapping-instances 14 comments
- The Development of Intuitionistic Logic (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/intuitionistic-logic-development/ 8 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
- unlifted data types · Wiki · Glasgow Haskell Compiler / GHC · GitLab https://gitlab.haskell.org/ghc/ghc/-/wikis/unlifted-data-types 0 comments
- Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/ 0 comments
- Russellâs Paradox (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/russell-paradox/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:janmasrovira.gitlab.io
Search title: Using dependent types to write proofs in Haskell | Ascetic Slug
See how to search.