Type Theory stream

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Guaranteed to keep it simplex

2020-05-14 19:40:48
"Parallel" types
1 messages.