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