well-typed / generics-sop
Generic Programming using True Sums of Products
☆156Updated 4 months ago
Related projects: ⓘ
- Haskell: Supercharged anonymous records☆83Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Measure allocations of a Haskell functions/values