agda agag's project work

Explore the projects and learnlists agda agag has shared on NextWork.