News for hackers. Stuff that matters.

A comment on Programming Language Foundations in Agda.

Re:Programming Language Foundations in Agda by samvher on Saturday January 23, 2021 @12:08PM (#25884012)
Is this in any way related to Software Foundations Volume 2: Programming Language Foundations [0] (in Coq)? The table of contents looks quite different but the choice of name suggest some commonality.

[0] https://softwarefoundations.cis.upenn.edu/plf-current/toc.ht...

[ Parent | on HN ]
Re:Programming Language Foundations in Agda by mechanicalDigit on Saturday January 23, 2021 @01:49PM (#25885010)
Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.
[ Parent | on HN ]
Re:Programming Language Foundations in Agda by remexre on Saturday January 23, 2021 @02:04PM (#25885106)
The second paragraph of [0] says about the same, with reasons.

[0]: https://plfa.github.io/Preface/#personal-remarks

[ Parent | on HN ]