A tutorial introduction to Agda

Abel, AFriday 30th June 2017 - 11:00 to 12:00

Website des Podcasts

In deiner App anhören

Folgen

Noch keine Folgen.