#

learning-agda

Here are 2 public repositories matching this topic...

scott-fleischman / agda-from-nothing

A workshop on learning Agda with minimal prerequisites.

dependent-types agda learning-agda

Updated May 26, 2016
Agda

scott-fleischman / agda-from-nothing-2017

Agda from Nothing: Order in the Types

dependent-types data-structure workshop binary-search-tree agda learning-agda

Updated Jan 23, 2017
Agda

Improve this page

Add a description, image, and links to the learning-agda topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the learning-agda topic, visit your repo's landing page and select "manage topics."