statusfailed / cartographer-string-diagrammatic-reasoning
☆44Updated last year
Related projects: ⓘ
- ☆28Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Paper and talk☆43Updated last year
- Haskell library of algebraic topology☆23Updated 12 years ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- topos programming☆31Updated 5 years ago
- Cohesive type theory☆18Updated 2 years ago
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last month
- ☆20Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- A talk☆28Updated 3 years ago
- Dependently-typed structures for quantum physics in Idris