- When newtype won't cut it; a polyvariadic instance https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Type-Equality.html#t::-126-: 17 comments haskell
Linking pages
- Using dependent types to write proofs in Haskell | Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments
- Leibniz equality in Haskell, part 1 - Ryan Scott https://ryanglscott.github.io/2021/08/22/leibniz-equality-in-haskell-part-1/ 14 comments
- Leibniz equality in Haskell, part 2: heterogeneous equality - Ryan Scott https://ryanglscott.github.io/2021/09/06/leibniz-equality-in-haskell-part-2-heterogeneous-equality/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:hackage.haskell.org
Search title: Data.Type.Equality
See how to search.