2 ms·
Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.
by mechanicalDigit 6y ago
Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.
- remexre 6y agoThe second paragraph of [0] says about the same, with reasons. [0]: https://plfa.github.io/Preface/#personal-remarks https://plfa.github.io/Preface/#personal-remarks