All Categories → No Category → learning-agda

Top 1 learning-agda open source projects

agda-from-nothing

A workshop on learning Agda with minimal prerequisites.

✭ 74

Agda Makefile agda learning-agda

1-1 of 1 learning-agda projects