3 ms·
Also check out Philip Wadler's Programming Language Foundations in Agda: https://plfa.github.io/ https://plfa.github.io/
by dennis_moore 5y ago
Also check out Philip Wadler's Programming Language Foundations in Agda: https://plfa.github.io/ https://plfa.github.io/