P programming-journal.org A Theory of Composing Protocols (2023) 96 points mpweiher 2 years ago 17 comments