Contents of the Specification [spacer]

Contents of the Specification $\lambda\delta butterfly$

This specification comprises a collection of checked applications of Î»Î´ version 2. @@ -122,9 +122,15 @@ Helena 0.8. -

Summary of the Specification [spacer]

+ Examples. + Terms of Î»Î´ with special features. +

Summary of the Specification $\lambda\delta butterfly$

Here is a numerical acount of the specification's contents +

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 [spacer]

Logical Structure of the Specification $\lambda\delta butterfly$

This table reports the specification's components and their planes.

@@ -208,32 +220,18 @@ component plane - files - -
- - - - functional - reduction and type machine - rtm - rtm_step ( ? â¨ ? ) + files - -
- - relocation - lift ( â[?,?] ? ) - -
- + examples + terms with special features + ex_cpr_omega

+ $\lambda\delta rainbow rule$

@@ -258,6 +256,6 @@

Last update: Tue, 20 Jan 2015 18:39:00 +0100

Last update: Fri, 24 Nov 2017 21:00:01 +0100