Top 100Conferences
JavaScriptReactCSS
JavaScriptReactCSS

Haskell

(Programming Languages) in Agda = Programming (Languages in Agda)

This talk introduces Programming Language Foundations in Agda, a new textbook that is also an executable Agda script---and also explains the role Agda is playing in IOHK's new cryptocurrency.

Just added

Programming Safely in an Uncertain World
Property-Based Testing for Godly Tests
Presto – building cross platform transactional apps using functional programming
Subtyping is Overrated

Watch the best developer talks,
discover top conferences,
elevate your skills

It's free. Sign up with your Github/Twitter/Google/Email.

New talks

Programming Safely in an Uncertain World
Subtyping is Overrated
Presto – building cross platform transactional apps using functional programming
Property-Based Testing for Godly Tests
Programming Safely in an Uncertain World