3 ms·
No, I am not a part of any Slack (or IRC, or Matrix) channels for type theory.
by TheAsprngHacker 7y ago
No, I am not a part of any Slack (or IRC, or Matrix) channels for type theory.
- pezo1919 7y agoYou might want to join here (copied from another thread) https://futureofcoding.org/slack-readme https://futureofcoding.org/slack-readme
- steshaw 7y agoYou might also enjoy https://functionalprogramming.slack.com/ https://functionalprogramming.slack.com/
- steshaw 7y agoWell done! I am inspired. Dependent types are the future, and so are you :-).