Fix Error Linux
Agda Track by Jesper Cockx
Agda Track by Jesper Cockx
#Agda #Track #Jesper #Cockx
“OST – Ostschweizer Fachhochschule”
Jesper is an assistant professor at the programming languages group at TU Delft, where he works on dependently typed …
source
Concluzion: Agda Track by Jesper Cockx – [vid_tags]
To see the full content, share this page by clicking one of the buttons below |