raichoo: Programming with dependent types in Idris

Name: raichoo: Programming with dependent types in Idris
Uploaded: 2014-01-01
Duration: 56 min 54 s
Description: raichoo: Programming with dependent types in Idris — a 2014 Chaos Communication Congress 2014 (31C3) security conference talk (56:54 min). Watch the full video, indexed free on the Breach Arc Archive.

Chaos Communication Congress 2014 (31C3) · 2014 · 56:54

▶

raichoo: Programming with dependent types in Idris — a 2014 Chaos Communication Congress 2014 (31C3) 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