- <news date="2012 March 15.">
- Context-sensitive strong normalization
- for simply typed terms.
+ <news class="alpha" date="2018-03-09.">
+ Support for rt-computation completed.
+ </news>
+ <news class="alpha" date="2017-10-17.">
+ Exclusion binder in local environments.
+ Syntactic component updated:
+ syntax, relocation, s_transition, s_computation, static, i_static.
+ </news>
+ <news class="alpha" date="2017-04-16.">
+ Strong rt-normalization
+ for simply typed terms
+ (anniversary milestone).