Here is a numerical account of the specification's contents
and its timeline.
@@ -148,7 +148,7 @@
characters
433402
nodes
- 1874774
+ 1874778
propositions
@@ -211,7 +211,7 @@
2014 April 16.
Lazy equivalence on local environments
- addded as q-step to rst-computation on closures
+ added as q-step to rst-computation on closures
(anniversary milestone).
@@ -1019,7 +1019,7 @@
- contxt-sensitive multiple rt-substitution
+ context-sensitive multiple rt-substitution
cpys ( â¦?,?⦠⢠? â¶*[?,?] ? )
cpys_alt ( â¦?,?⦠⢠? â¶â¶*[?,?] ? )
cpys_lift cpys_cpys
@@ -1159,7 +1159,7 @@
- contxt-sensitive ordinary rt-substitution
+ context-sensitive ordinary rt-substitution
cpy ( â¦?,?⦠⢠? â¶[?,?] ? )
cpy_lift cpy_nlift cpy_cpy
@@ -1384,6 +1384,6 @@
-
Last update: Tue, 20 Jan 2015 18:39:00 +0100
+ Last update: Wed, 21 Jan 2015 17:13:08 +0100