(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

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

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

New talks