👤 Aaron Stump

Verified Functional Programming in Agda Aaron Stump