Topic: "learning-agda"
scott-fleischman/agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
Language: Agda - Size: 422 KB - Last synced at: 10 days ago - Pushed at: almost 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: 10 days ago - Pushed at: about 8 years ago - Stars: 13 - Forks: 0
Related Topics