sellout / dualizer
Delete half (minus ε) of your Haskell code!
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for dualizer
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Comment on Haskell documentation.☆13Updated 5 years ago
- A total recursion scheme library for Dhall☆65Updated last week
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 3 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated last month
- Messing around☆9Updated 7 years ago
- ☆31Updated 3 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Commutative Applicatives and Semigroups☆31Updated 6 years ago
- Wailing into the primordial ooze of category theory☆54Updated last week
- HoTT Note-taking action☆25Updated 5 years ago
- ☆23Updated 7 years ago
- Safe web routing in haskell☆30Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Kleene algebra, regular expressions☆32Updated last year
- A small bifunctor library for idris☆21Updated 3 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- A recursion scheme library for Idris.☆24Updated last week
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- ☆23Updated 9 years ago