Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
https://cubical.1lab.dev
/cc @TheMatten maybe tangentially related to graph/conn we were discussing elsewhere.
this one, also adds the literate code element.
https://cubical.1lab.dev
/cc @TheMatten maybe tangentially related to graph/conn we were discussing elsewhere.
this one, also adds the literate code element.