Haskell Equational Reasoning Model-to-Implementation Tunnel
☆52Jan 12, 2023Updated 3 years ago
Alternatives and similar repositories for hermit
Users that are interested in hermit are comparing it to the libraries listed below
Sorting:
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- A tool for caching cabal builds in a Nix store☆33Dec 23, 2015Updated 10 years ago
- A server interface to GHC.☆19Oct 11, 2014Updated 11 years ago
- Interactive-diagrams