News for hackers. Stuff that matters.

A comment on Ask HN: Any logic based software dev tool which helps building code gradually?. Parent comment

Re:Ask HN: Any logic based software dev tool which helps bui... by jnbiche on Monday July 15, 2019 @10:35AM (#20441207)
Agreed. This is a very well-written bird's eye view of a significant chunk of type theory.
[ Parent | on HN ]

There are no comments on this comment yet.