agda-tutorial. Problems from "Dependently Typed Programming in Agda".

github.com/solidsnack/agda-tutorial
by @solidsnack

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.