zenzike / yoda
A simple combinator library
☆29Updated 5 years ago
Related projects: ⓘ
- System F-omega normalization by hereditary substitution in Agda☆56Updated 5 years ago
- A collection of Notes on GHC☆69Updated 5 years ago
- higher-kinded data☆30Updated last year
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- checkers for algebra driven design☆34Updated last year
- Type-level well-kinded natural numbers.☆33Updated 3 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Combine and enhance Functors☆39Updated 8 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Reimplementation of Parsley in Haskell, with improvements☆49Updated 6 months ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- type level sets☆67Updated 4 years ago
- Type-safe time units in Haskell☆49Updated 8 months ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 4 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆68Updated 5 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- Where my everyday research happens☆53Updated 3 weeks ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- First-class type families☆86Updated last month
- 👅 Parse Haskell Language Extensions☆48Updated 2 months ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆38Updated 2 months ago
- Lightweight package providing commonly useful parser combinators☆52Updated 3 months ago
- ☆18Updated 3 years ago
- Difference lists in Haskell☆65Updated 2 months ago