dt-programming-in-agda. Answers to Ulf Norell and James Chapman's "Dependently Typed Programming in Agda" exercises.

github.com/adelbertc/dt-programming-in-agda
by @adelbertc

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.