A tutorial introduction to Agda
Abel, AFriday 30th June 2017 - 11:00 to 12:00
Listen in your app
Episodes
No episodes yet.
Abel, AFriday 30th June 2017 - 11:00 to 12:00
No episodes yet.