GitHub topics: learning-agda
scott-fleischman/agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
Language: Agda - Size: 422 KB - Last synced at: 5 months ago - Pushed at: over 9 years ago - Stars: 85 - Forks: 6
scott-fleischman/agda-from-nothing-2017
Agda from Nothing: Order in the Types
Language: Agda - Size: 553 KB - Last synced at: 5 months ago - Pushed at: over 8 years ago - Stars: 13 - Forks: 0
Related Keywords