hexresearch / hexresearch/hschain
Consider adding liquid haskell to increase safety of haskell code
Open
- Dominant language
- C
- Stars
- 4
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
One example is function `majority23at` if it returns `Just _` list cannot be empty yet we can't express such invariants in plain haskell. There're probably other
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.