A tutorial introduction to Agda

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

Web del podcast

Escúchalo en tu aplicación

Episodios

Todavía no hay episodios.