- <news class="alpha" date="2011 September 6.">
- Confluence for context-free parallel reduction on terms.
+ <news class="alpha" date="2016-09-15.">
+ Confluence for context-sensitive parallel r-transition on terms.
+ </news>
+ <news class="alpha" date="2016-04-16.">
+ Syntactic component completed:
+ syntax, relocation, s_transition, s_computation, static
+ (anniversary milestone).
+ </news>
+ <news class="alpha" date="2016-03-25.">
+ Relocation with reference transforming maps (rtmap).