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
- http://www.cse.chalmers.se/edu/course/afp/