ekmett / constraintsLinks
Tools for programming with ConstraintKinds in GHC
☆72Updated 9 months ago
Alternatives and similar repositories for constraints
Users that are interested in constraints are comparing it to the libraries listed below
Sorting:
- tools for writing better type errors☆73Updated last year
- Zippers based on lenses and traversals☆40Updated last year
- ☆54Updated 6 years ago
- Serializable closures for distributed programming.☆65Updated last year
- Kleene algebra, regular expressions