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 steshaw on Sunday July 28, 2019 @06:35PM (#20550191)
Well done! I am inspired. Dependent types are the future, and so are you :-).
[ Parent | on HN ]

There are no comments on this comment yet.