<news class="alpha" date="2017 October 17.">
Exclusion binder in local environments.
Syntactic component updated:
<news class="alpha" date="2017 October 17.">
Exclusion binder in local environments.
Syntactic component updated:
Confluence for context-sensitive parallel r-transition on terms.
</news>
<news class="alpha" date="2016 April 16.">
Confluence for context-sensitive parallel r-transition on terms.
</news>
<news class="alpha" date="2016 April 16.">
syntax, relocation, s_transition, s_computation, static
(anniversary milestone).
</news>
syntax, relocation, s_transition, s_computation, static
(anniversary milestone).
</news>