michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update dedication and statistics

Browse source
This commit is contained in:
wadler 2018-09-27 17:34:43 -05:00
parent e3f173470d
commit 8adb424158
2 changed files with 27 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/plfa/Dedication.lagda
View file

@ -5,8 +5,8 @@ permalink : /Dedication/
next : /Preface/ next : /Preface/
--- ---
## To Wanda <center>
<h2>To Wanda</h2>
### _amor da minha vida_ <h3><em>amor da minha vida</em></h3>
<h4><em>knock knock knock</em></h4>
#### _knock knock knock_ </center>

44
src/plfa/Statistics.lagda
View file

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