Summary of the Specification
+
![lambdadelta 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,11 +158,11 @@
sizes
files
- 4
+ 1
characters
- 68581
+ 377
nodes
- 3637
+ 779
propositions
@@ -170,15 +176,21 @@
concepts
declared
- 3
+ 0
defined
- 9
+ 3
total
- 12
+ 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
+
- functional
- reduction and type machine
- rtm
- rtm_step ( ? ⨠? )
+ functional
+ reduction and type machine
+ rtm
+ rtm_step ( ? ⨠? )
-
+
- relocation
- lift ( â[?,?] ? )
+ relocation
+ lift ( â[?,?] ? )
+
+
+
+
+
+ examples
+ terms with special features
+ ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta
@@ -233,7 +253,7 @@
@@ -258,6 +278,6 @@
-
![lambdadelta 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.
@@ -214,17 +226,25 @@
+
-
+
![lambdadelta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
![\lambda\delta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
@@ -258,6 +278,6 @@
Last update: Wed, 18 Feb 2015 19:13:36 +0100
+ Last update: Sat, 01 Apr 2017 16:50:39 +0200