sellout / dada
A total recursion scheme library for Dhall
☆65Updated 3 weeks ago
Related projects: ⓘ
- Wailing into the primordial ooze of category theory☆54Updated 3 months ago
- Tasty meal of Dhall☆66Updated last year
- Yet another yet another recursion scheme library in Haskell.☆86Updated 3 weeks ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Dual Traversable☆41Updated last year
- Reasonable Haskell default import☆27Updated 2 years ago
- Automatic type class law checking.☆24Updated 9 months ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 8 years ago
- CI assistant☆44Updated 2 weeks ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Automation of Haskell package release process.☆31Updated 10 months ago
- Cofun with Cofree Comonads☆30Updated 8 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 5 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- An experiment in functional interface design☆23Updated 7 years ago
- A recursion scheme library for Idris.☆24Updated 3 months ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated last month
- join and meet semilattices, lower and upper bounds.☆43Updated 6 months ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- rewrite rules for type-level equalities☆61Updated 4 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- ☆45Updated 2 years ago