Summary of the Specification
+
@@ -258,6 +256,6 @@
-
-
+
- + Examples. + Terms of λδ with special features. + +
Summary of the Specification
Here is a numerical account of the specification's contents
and its timeline.
@@ -132,7 +138,7 @@
category
- objects
+ units
@@ -150,13 +156,13 @@
- sizes
- files
- 4
- characters
- 68581
- nodes
- 3637
+ sizes
+ characters (files)
+ 377 (1)
+ nodes (objects)
+ 779 (6)
+ intrinsic loss factor
+ 2.1
propositions
@@ -168,17 +174,23 @@
3
- concepts
- declared
- 3
- defined
- 9
- total
- 12
+ concepts
+ declared
+ 0
+ defined
+ 3
+ total
+ 3
+ -
+
- + 2017 March 6. + The Examples component is moved from the Core directory. + +
- 2012 February 24. @@ -198,7 +210,7 @@ The MLTT1 component is started.
Logical Structure of the Specification
+
component
plane
- files
-
-
-
+ files
- functional
- reduction and type machine
- rtm
- rtm_step ( ? ⨠? )
-
-
-
-
-
- relocation
- lift ( â[?,?] ? )
-
-
-
+ examples
+ terms with special features
+ ex_cpr_omega
Logical Structure of the Specification
This table reports the specification's components and their planes.
@@ -208,32 +220,18 @@
-
-
-
-
+
@@ -258,6 +256,6 @@
Last update: Thu, 10 Dec 2015 16:13:46 +0100
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100