News for hackers. Stuff that matters.

A comment on Programming Language Foundations in Agda. Parent comment

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 ]

There are no comments on this comment yet.