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 jonahbenton on Monday July 15, 2019 @09:58AM (#20440861)
Whatever your age this is an exceptionally well written description, worth finding a venue for it other than buried as an HN comment.
[ Parent | on HN ]
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 ]