gelisam / category-syntax
do-notation for Category and "Arrow without arr"
☆63Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for category-syntax
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Monad Transformers and Classes☆78Updated 5 years ago
- Haskell library for semigroup actions and torsors☆57Updated 8 months ago
- Generic random generators☆81Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- GHC version of haskell-src-exts exactPrint☆70Updated this week
- Generic Programming using True Sums of Products