Comment by TheAsprngHacker | Hacker News Reader

Top New Best Ask Show Jobs

Comment by TheAsprngHacker | Hacker News Reader

Parent Full thread

TheAsprngHacker·

No, I am not a part of any Slack (or IRC, or Matrix) channels for type theory.

Well done! I am inspired. Dependent types are the future, and so are you :-).

You might want to join here (copied from another thread) https://futureofcoding.org/slack-readme

You might also enjoy https://functionalprogramming.slack.com/

Reply on news.ycombinator.com