Agda

1 talks about Agda

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

Philip Wadler

GOTO Conferences

0 views

May 4 2024