+ Closure of extended context-sensitive computation
+ for native validity.
+ </news>
+ <news date="In progress.">
+ Extended context-sensitive strong normalization
+ for simply typed terms.
+ </news>
+ <news date="2012 July 26.">
+ Term binders polarized to control ΞΆ reduction.
+ </news>
+ <news date="2012 April 16.">