{"push_id":1190313705,"size":1,"distinct_size":1,"ref":"refs/heads/patches","head":"d32f14274d359445b42b9b65e41ade61817d2d63","before":"4a5d9021780a2dde3fa472598759ace4bd0e71e7","commits":[{"sha":"d32f14274d359445b42b9b65e41ade61817d2d63","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Update to MSG Effect and Protocls.\n\nProtocols has been brought in line with changes to Idris since it was\nlast played with. These changes have yet to be tested with. This\nshoudl come in the next commit.\n\nNotable differences:\n\n+ Pure IO for programs has been dropped as underlying concurrency\n  mechanisms have changed, and take into account errors.\n\n+ Everything is marshable, when sending directly it is a\n  transformation between itself i.e. `Marshal a a`.\n\n+ Concurrency effect now conforms to the new `Sessions` concurrency\n  primitives. When implementing `Process` passed protocols, you need\n  to listen, or spawn and connect.","distinct":true,"url":"https://api.github.com/repos/jfdm/Protocols/commits/d32f14274d359445b42b9b65e41ade61817d2d63"}]}
{"actor":{"display_login":"jfdm"}}