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.(Programming Languages) in Agda = Programming (Languages in Agda)Save
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.(Programming Languages) in Agda = Programming (Languages in Agda)Save
