Agda stream

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

(Cubical) Agda Newbie

2022-03-13 17:37:06
Questions
8 messages.
2021-11-30 23:56:22
IDE
1 messages.