Hacker News Reader

Awesome story, thanks! Keep it up!

Is there any slack channel/group you are part of? What did you find?

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

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

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