Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Sridhar Ratnakumar renamed stream Category theory to Category Theory.
Sridhar Ratnakumar renamed stream Category theory to Category Theory.