dylnb / esslli2015-monadsLinks
materials for ESSLLI 2015 course: Monads and Natural Language
☆26Updated 10 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:
- The theory of algebraic graphs formalised in Agda☆91Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 4 years ago
- Generic random generators☆81Updated 2 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last month
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆57Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- A library of Natural Language Processing algorithms for Haskell.☆73Updated last year
- do-notation for Category and "Arrow without arr"☆62Updated 8 years ago
- being the scrapings of my stackoverflow answers☆48Updated 6 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 9 months ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆103Updated 4 months ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Updated 10 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Source for personal blog.☆78Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Check properties on standard classes and data structures☆80Updated 2 months ago
- Generic Programming using True Sums of Products☆164Updated 4 months ago
- Tutorial for LiquidHaskell☆81Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆127Updated last year
- Haskell bindings to the Graphviz toolkit☆64Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- Haskell plotting library☆44Updated 2 months ago
- ☆89Updated last year