idris: general purpose programming with dependent types
Published 10 years ago • 11K plays • Length 1:19:05Download video MP4
Download video MP3
Similar videos
-
55:37
edwin brady - idris: programming with dependent types
-
56:54
raichoo: programming with dependent types in idris
-
38:50
dependent type driven program synthesis in idris | edwin brady | code mesh v 2020
-
2:26:54
introductory talk about dependent types and idris
-
37:27
a little taste of dependent types (david thrane christiansen)
-
38:42
"dependent types in haskell" by stephanie weirich
-
1:17:25
dependent types in the idris programming language 1 - edwin brady - oplss 2017
-
48:05
david christiansen - coding for types: the universe patern in idris - curry on
-
40:56
"idris: practical dependent types with practical examples" by brian mckenna
-
37:51
certified programming with dependent types - cccamp 2011
-
11:55
@rae: connecting linearity and relevance in dependent haskell
-
55:26
依值型別編程 programming with dependent types｜funth#79
-
1:35:28
haskellerz - june 2018 - alex silva - a tour of dependent types with idris
-
2:00:37
programming with dependent types in idris (hong kong functional programming meetup)
-
1:01:25
chris casinghino - making dependent types practical
-
4:15
idris (programming language)
-
1:24:30
dependent types in the idris programming language 3 - edwin brady - oplss 2017