2 ms·
Maybe try “Programming Language Foundations in Agda” instead. https://plfa.github.io https://plfa.github.io
by mietek 3y ago
Maybe try “Programming Language Foundations in Agda” instead.
https://plfa.github.io https://plfa.github.io
loading thread…