Comentr
$K-HxDqB85w
log in
sign up
Technology
Join this community
Share Community
Report Community
11
Report
Programming Language Foundations in Agda
3 years ago
Anonymous
$y15ULlV7sG
https://plfa.github.io/
×
Save changes
Cancel
0
Comments
11
Voters
Programming Language Foundations in Agda
Jan 23, 2021, 5:32pm UTC
$y15ULlV7sG
https://plfa.github.io/