Linear types - VideoChat

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

Asad Saeeduddin

I'm especially interested in someone walking through code like this and explaining how the new -XLinear feature is being used to gain additional safety

Prototype basic libraries for Haskell with linear types - tweag/linear-base