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 TheAsprngHacker on Sunday July 14, 2019 @07:28PM (#20436944)
No, I am not a part of any Slack (or IRC, or Matrix) channels for type theory.
[ Parent | on HN ]
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 ]
Re:Ask HN: Any logic based software dev tool which helps bui... by pezo1919 on Monday July 15, 2019 @11:16AM (#20441588)
You might want to join here (copied from another thread) https://futureofcoding.org/slack-readme
[ Parent | on HN ]
Re:Ask HN: Any logic based software dev tool which helps bui... by steshaw on Sunday July 28, 2019 @06:33PM (#20550185)
You might also enjoy https://functionalprogramming.slack.com/
[ Parent | on HN ]