Technology

Share Community
Report Community
11

Programming Language Foundations in Agda

5 years ago
Anonymous $y15ULlV7sG

https://plfa.github.io/

Programming Language Foundations in Agda

Jan 23, 2021, 5:32pm UTC
$y15ULlV7sG
https://plfa.github.io/