Hacker News new | ask | show | jobs
by ysangkok 625 days ago
The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.