+ <news class="alpha" date="2017-01-17.">
+ Confluence for parallel r-transition on referred entries of local environments.
+ </news>
+ <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).
+ </news>
+ <news class="alpha" date="2015-10-09.">
+ λδ-2B is started.