A tutorial introduction to Agda

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

Sito del podcast

Ascoltalo nella tua app

Episodi

Ancora nessun episodio.