https://github.com/alcestes/mpstk-crash-stop
Tip revision: 3104e4ddfdc03385f68f53325908136c4a18b421 authored by Alceste Scalas on 04 July 2022, 16:43:22 UTC
Update README.md
Update README.md
Tip revision: 3104e4d
popl19-ex5.11-b.ctx
### A live, but non-live+, typing context.
###
### Copyright 2018 Alceste Scalas <alceste.scalas @ imperial.ac.uk>
### Released under the MIT License: https://opensource.org/licenses/MIT
s[p]: μ(t)q⊕m1 . t,
s[q]: μ(t)p&m1 . t,
s[r]: q&m2
