Programming with dependent types in Idris [31c3]
➤Speaker: raichoo
➤EventID: 6162
➤Event: 31th Chaos Communication Congress [31c3] of the Chaos Computer Club [CCC]
➤Location: Congress Centrum Hamburg (CCH); Am Dammtor; Marseiller Straße; 20355 Hamburg; Germany
➤Language: english
➤Begin: Sun, 12/28/2014 14:00:00 +01:00
➤License: CC-by
https://www.youtube.com/watch?v=uFwh3Uv8Nrw