Summary of the Specification
+
![\lambda\delta butterfly [spacer]](http://lambdadelta.info/images/b4.png)
-
+
- + Examples. + Terms of λδ with special features. + +
Summary of the Specification
![\lambda\delta butterfly [butterfly]](http://lambdadelta.info/images/b4.png)
Here is a numerical account of the specification's contents
and its timeline.
@@ -152,33 +158,39 @@
sizes
files
- 1
+ 2
characters
- 217
+ 594
nodes
- 0
+ 779
propositions
theorems
- 0
+ 2
lemmas
- 0
+ 1
total
- 0
+ 3
concepts
declared
0
defined
- 0
+ 3
total
- 0
+ 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
-
-
-
-
-
- functional
- reduction and type machine
- rtm
- rtm_step ( ? ⨠? )
+ files
-
-
-
- relocation
- lift ( â[?,?] ? )
-
-
-
+ examples
+ terms with special features
+ ex_cpr_omega
@@ -258,6 +256,6 @@
-
![\lambda\delta butterfly [spacer]](http://lambdadelta.info/images/b4.png)
Logical Structure of the Specification
![\lambda\delta butterfly [butterfly]](http://lambdadelta.info/images/b4.png)
This table reports the specification's components and their planes.
@@ -208,26 +220,12 @@
-
-
-
Last update: Sun, 22 May 2016 11:12:18 +0200
+ Last update: Wed, 25 Oct 2017 21:44:35 +0200