Lists (1)
Starred repositories
8
stars
written in Agda
Clear filter
Learn you an Agda (and achieve enlightenment)
Lecture notes on univalent foundations of mathematics with Agda
ECMAScript back end for Functional Reactive Programming in Agda
A workshop on learning Agda with minimal prerequisites.
Companion code for "Why Dependent Types Matter" paper.