Projects in Awesome Lists tagged with learning-agda
A curated list of projects in awesome lists tagged with learning-agda .
https://github.com/scott-fleischman/agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
agda dependent-types learning-agda
Last synced: 14 Apr 2025
https://github.com/scott-fleischman/agda-from-nothing-2017
Agda from Nothing: Order in the Types
agda binary-search-tree data-structure dependent-types learning-agda workshop
Last synced: 14 Apr 2025