Lists (1)
Starred repositories
5
results
for source starred repositories
written in Agda
Clear filter
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.