Agda-sessions: Learn the Agda basics in three 2-hour sessionsgithub.com/anuyts3 pointsmauricioc7 years ago