Type Theory stream

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

Guaranteed to keep it simplex

2022-11-28 20:39:44
Path types
2 messages.
2021-02-09 20:10:46
dependent types
8 messages.
2020-05-14 19:40:48
"Parallel" types
1 messages.