Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!201940:3919.5K views
Why it is in the catalog
Hacker News commenters linked this video 5 times between 2019 and 2023, from 4 different accounts. Its recommendation score is 5.
More from Software Engineering & Languages
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
2012Software Engineering & Languages20 HN mentions
49:55How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
Видео с мероприятий {speach!
2016Software Engineering & Languages20 HN mentions
38:47RailsConf 2014 - All the Little Things by Sandi Metz
Confreaks
2014Software Engineering & Languages20 HN mentions
42:03The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
GOTO Conferences
2019Software Engineering & Languages20 HN mentions
1:01:39"Simple Made Easy" - Rich Hickey (2011)
Strange Loop Conference
2021Software Engineering & Languages20 HN mentions
26:53What the heck is the event loop anyway? | Philip Roberts | JSConf EU
JSConf
2014Software Engineering & Languages20 HN mentions
36:45Rich Harris - Rethinking reactivity
You Gotta Love Frontend
2019Software Engineering & Languages20 HN mentions
25:06"Making Impossible States Impossible" by Richard Feldman
elm-conf
2016Software Engineering & Languages19 HN mentions