- [deleted by user] https://blog.jle.im/entry/introduction-to-singletons-1.html 4 comments programming
- An introduction to singletons and the 'singletons' library (part 1) https://blog.jle.im/entry/introduction-to-singletons-1.html 10 comments haskell
Linking pages
- Type Witnesses in Haskell https://serokell.io/blog/haskell-type-level-witness 18 comments
- Using dependent types to write proofs in Haskell | Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments
- How GHC 8.8 nearly killed singletons - Ryan Scott https://ryanglscott.github.io/2019/08/29/how-ghc-8-8-nearly-killed-singletons/ 13 comments
- Dimensions and Haskell: Singletons in Action https://serokell.io/blog/dimensions-haskell-singletons 11 comments
- Proving Addition is Commutative in Haskell using Singletons | Hey There Buddo! http://www.philipzucker.com/proving-addition-is-commutative-in-haskell-using-singletons/ 4 comments
- GitHub - initial-mockingbird/singletons: Fake dependent types in Haskell using singletons https://github.com/initial-mockingbird/singletons 0 comments
Linked pages
- safe-money: Money in the type system where it belongs https://ren.zone/articles/safe-money 107 comments
- reddit.com: Anmelden http://reddit.com/submit 54 comments
- Verify your Typeclass Instances in Haskell Today! · in Code https://blog.jle.im/entry/verified-instances-in-haskell.html 43 comments
- Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 32 comments
- Phantom type - HaskellWiki https://wiki.haskell.org/Phantom_type 22 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
- Haskell/GADT - Wikibooks, open books for an open world https://en.wikibooks.org/wiki/Haskell/GADT 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:blog.jle.im
Search title: Introduction to Singletons (Part 1) · in Code
See how to search.