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]