dylnb / esslli2015-monadsLinks
materials for ESSLLI 2015 course: Monads and Natural Language
☆26Updated 9 years ago
Alternatives and similar repositories for esslli2015-monads
Users that are interested in esslli2015-monads are comparing it to the libraries listed below
Sorting:
- Cohesive type theory☆19Updated 3 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- http://www.cse.chalmers.se/edu/course/afp/☆16Updated 9 years ago
- Domain theory and denotational semantics in Coq☆10Updated 10 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- Formalization of Linear Logic☆10Updated 7 years ago
- a little category theory in Idris☆10Updated 8 years ago
- My Agda experiments☆12Updated 5 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Updated 8 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Logical relations proof in Agda☆26Updated 10 years ago
- wherein I implement several substructural logics in Agda☆24Updated 6 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Haskell implementation of open games☆12Updated 9 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Where my everyday research happens☆53Updated this week
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- Linear Logic for Constructive Mathematics, in Agda☆17Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Playing around with multicategories and operads☆16Updated 9 years ago