31C3 2014 eng Programming with dependent types in Idris

Name: 31C3 2014 eng Programming with dependent types in Idris
Uploaded: 2014-01-01
Duration: 56 min 54 s
Description: 31C3 2014 eng Programming with dependent types in Idris — a 2014 All Hacking Cons (community re-uploads) security conference talk (56:54 min). Watch the full video, indexed free on the Breach Arc Archive.

All Hacking Cons (community re-uploads) · 2014 · 56:54

▶

31C3 2014 eng Programming with dependent types in Idris — a 2014 All Hacking Cons (community re-uploads) security conference talk (56:54 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

← Back to the Breach Arc Archive