moved Extension to More

2018-07-03 10:30:21 -03:00 · 2018-07-03 10:30:21 -03:00 · fd18220a6e
commit fd18220a6e
parent 2cb9c9c2c3
3 changed files with 5 additions and 5 deletions
--- a/hs/config.txt
+++ b/hs/config.txt
@ -14,7 +14,7 @@ Decidable
 Lambda
 Properties
 DeBruijn
-Extensions
+More
 Inference
 Untyped
 --
--- a/src/plta/Extensions.lagda
+++ b/src/plta/Extensions.lagda
@ -1,11 +1,11 @@
 ---
-title     : "Extensions: Extensions to simply-typed lambda calculus"
+title     : "More: More constructs of simply-typed lambda calculus"
 layout    : page
-permalink : /Extensions/
+permalink : /More/
 ---

 \begin{code}
-module plta.Extensions where
+module plta.More where
 \end{code}


--- a/src/plta/Statistics.lagda
+++ b/src/plta/Statistics.lagda
@ -29,7 +29,7 @@ Total number of lines and number of lines of Agda code in each chapter
    Lambda                      1300     386
    Properties                  1533     724
    DeBruijn                    1363     627
-    Extensions                   603     524
+    More                         603     524
    Inference                    431     350
    Untyped                      362     281