zenzike / yodaLinks
A simple combinator library
☆29Updated 6 years ago
Alternatives and similar repositories for yoda
Users that are interested in yoda are comparing it to the libraries listed below
Sorting:
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- higher-kinded data☆30Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Standard module for type-level programming in Haskell☆30Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- type level sets☆67Updated 5 years ago
- Type-level well-kinded natural numbers.☆34Updated 5 months ago
- A collection of Notes on GHC☆69Updated 6 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- 👅 Parse Haskell Language Extensions☆48Updated last week
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- Lightweight package providing commonly useful parser combinators