Linking pages
Linked pages
- More Typing, Less Testing: TDD with Static Types https://spin.atomicobject.com/2014/12/09/typed-language-tdd-part1/ 89 comments
- Lorentz: Implementing Smart Contract eDSL in Haskell https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell 0 comments
- Lorentz: Introducing Complex Objects with Haskell Generics https://serokell.io/blog/lorentz-complex-objects 0 comments
Related searches:
Search whole site: site:serokell.io
Search title: Lorentz: Achieving Correctness with Haskell Newtypes
See how to search.