giorgidze / set-monad
Set monad
☆17Updated last year
Alternatives and similar repositories for set-monad
Users that are interested in set-monad are comparing it to the libraries listed below
Sorting:
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated last month
- Where my everyday research happens☆52Updated 2 weeks ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ☆21Updated 3 weeks ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 2 weeks ago
- GRIN backend for Idris☆51Updated 5 years ago
- being a particular fragment of Haskell, extended to a proof system☆32Updated 2 months ago
- ☆12Updated 4 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- A talk☆28Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Agda-style equational reasoning in Haskell☆53Updated last month
- Haskell library for doing category theory with a central role for profunctors☆21Updated last week
- being a thing I build on a Saturday☆28Updated 7 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Invertible parsing for S-expressions☆34Updated last month
- Existential type.☆37Updated 4 months ago
- Classes for types where we know all the values☆39Updated 4 months ago
- Reimplementation of a subset of Cabal☆26Updated 2 months ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆51Updated 9 months ago
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 2 months ago