ixaxaar / monoid.space
Learn pure math with agda
☆17Updated last week
Alternatives and similar repositories for monoid.space:
Users that are interested in monoid.space are comparing it to the libraries listed below
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆93Updated 5 years ago
- The Software Foundations book, in GHC☆82Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆25Updated 9 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 3 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- The theory of groups☆76Updated last year
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 6 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 2 years ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Type Your Matrices For Great Good☆30Updated 4 years ago
- Tensors in Haskell☆40Updated last month
- Comonads By Example Conference talk☆89Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Free ideas, worth every penny☆32Updated 4 years ago