3 ms·
The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.
by ysangkok 2y ago
The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.