- <news class="beta" date="2014 June 18.">
- Preservation of stratified native validity
- for context-sensitive computation on terms.
- </news>
- <news class="alpha" date="2014 June 9.">
- Strong qrst-normalization
- for simply typed terms.
- </news>
- <news class="alpha" date="2014 April 16.">
- Lazy equivalence on local environments
- added as q-step to rst-computation on closures