Type Theory stream

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

Guaranteed to keep it simplex

2021-02-09 20:10:46
dependent types
8 messages.
2020-05-14 19:40:48
"Parallel" types
1 messages.