learning-agda
There are 2 repositories under learning-agda topic.
scott-fleischman / agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
Language:Agda 81Agda from Nothing: Order in the Types
Language:Agda 13