anuyts / agda-sessionsLinks
Learn the Agda basics in three 2-hour sessions.
☆60Updated last year
Alternatives and similar repositories for agda-sessions
Users that are interested in agda-sessions are comparing it to the libraries listed below
Sorting:
- Paper and talk☆54Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways