Linking pages
Linked pages
- Detecting the undetectable: custom type errors for stuck type families – ( ) https://kcsongor.github.io/report-stuck-families/ 13 comments
- generics-sop: Generic Programming using True Sums of Products https://hackage.haskell.org/package/generics-sop 4 comments
- Serokell Shop https://shop.serokell.io 1 comment
- Lorentz: Implementing Smart Contract eDSL in Haskell https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell 0 comments
- The Liquidity Language for smart contracts, by OCamlPro http://www.liquidity-lang.org/ 0 comments
Related searches:
Search whole site: site:serokell.io
Search title: Lorentz: Introducing Complex Objects with Haskell Generics
See how to search.