News for hackers. Stuff that matters.

A comment on The Software Foundations: mathematical underpinnings of reliable software. Parent comment

Re:The Software Foundations: mathematical underpinnings of r... by keskadale on Saturday March 05, 2022 @03:23AM (#30565555)
yeah it is a hard read. a relatively easier read is PLFA in Agda.
[ Parent | on HN ]

There are no comments on this comment yet.