scott-fleischman / agda-from-nothing

A workshop on learning Agda with minimal prerequisites.

Geek Repo

Github PK Tool