4 ms·

Awesome story, thanks! Keep it up! Is there any slack channel/group you are part of? What did you find?

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