Agda-sessions: Learn the Agda basics in three 2-hour sessionshttps://github.com/anuyts/agda-sessions by mauricioc • 7 years ago 3 0 7 years agoGIgithub.com