Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 07 Dec 2024
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: 07 Dec 2024