conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Emacs Idris-mode
1 talks about Emacs Idris-mode
Latest
All Levels
01:45:43
Intermediate
LambdaConf 2015 - Write Some Idris Brian McKenna
Brian McKenna
Confreaks
4,094 views
December 30
2015
Watch Now
Emacs Idris-mode - Tech Conference Talks and Videos | conf.directory | conf.directory