paf31 / mu-kanren
A step-by-step MicroKanren evaluator
☆29Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for mu-kanren
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated last year
- ☆23Updated 6 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- ☆23Updated 9 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- PureScript bindings for D3☆87Updated 2 years ago
- A more elegant specification for FRP☆24Updated 10 months ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- TODO☆23Updated 9 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Make presentations for data types☆25Updated 3 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- ☆23Updated 7 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- ☆41Updated 7 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Js libraries for idris☆49Updated 4 years ago