Lists (14)
Starred repositories
9
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Lecture notes on univalent foundations of mathematics with Agda
The theory of algebraic graphs formalised in Agda
Basics of the dependently-typed functional language Agda ^_^