bobatkey / sorting-typesLinks
Typed DSLs for sorting
☆19Updated 7 years ago
Alternatives and similar repositories for sorting-types
Users that are interested in sorting-types are comparing it to the libraries listed below
Sorting:
- Expands type synonyms in Template Haskell ASTs☆11Updated 5 months ago
- playing with hyperfunctions☆16Updated 4 years ago
- Experiments with effect systems☆12Updated 9 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.