From 8adb424158dc5d081788492b04a631c0b7bea0ad Mon Sep 17 00:00:00 2001 From: wadler Date: Thu, 27 Sep 2018 17:34:43 -0500 Subject: [PATCH] update dedication and statistics --- src/plfa/Dedication.lagda | 10 ++++----- src/plfa/Statistics.lagda | 44 +++++++++++++++++++-------------------- 2 files changed, 27 insertions(+), 27 deletions(-) diff --git a/src/plfa/Dedication.lagda b/src/plfa/Dedication.lagda index 783e05de..8409680d 100644 --- a/src/plfa/Dedication.lagda +++ b/src/plfa/Dedication.lagda @@ -5,8 +5,8 @@ permalink : /Dedication/ next : /Preface/ --- -## To Wanda - -### _amor da minha vida_ - -#### _knock knock knock_ +
+

To Wanda

+

amor da minha vida

+

knock knock knock

+
diff --git a/src/plfa/Statistics.lagda b/src/plfa/Statistics.lagda index f2e246cb..093daf41 100644 --- a/src/plfa/Statistics.lagda +++ b/src/plfa/Statistics.lagda @@ -6,31 +6,31 @@ permalink : /Statistics/ --- Total number of lines and number of lines of Agda code in each chapter -(as of 2 July 2018). +(as of 27 September 2018). total code ----- ---- - Preface 92 0 + Preface 110 0 - Naturals 900 86 - Induction 770 107 - Relations 608 93 - Equality 595 128 - Isomorphism 403 170 - Connectives 827 243 - Negation 354 47 - Quantifiers 390 79 - Lists 893 412 - Decidable 566 170 + Naturals 951 90 + Induction 886 122 + Relations 745 164 + Equality 703 197 + Isomorphism 481 217 + Connectives 860 276 + Negation 365 48 + Quantifiers 456 109 + Lists 984 459 + Decidable 570 178 - Lambda 1304 389 - Properties 1539 568 - DeBruijn 1363 635 - More 675 570 - Bisimulation 151 110 - Inference 431 350 - Untyped 362 281 + Lambda 1341 408 + Properties 1512 539 + DeBruijn 1325 621 + More 1220 560 + Bisimulation 468 98 + Inference 1084 353 + Untyped 742 327 - Acknowledgements 44 0 - Fonts 78 59 - Statistics 34 0 + Acknowledgements 53 0 + Fonts 76 60 + Statistics 36 0