adding Dedication
This commit is contained in:
parent
c9699a9674
commit
d9b0872a66
2 changed files with 10 additions and 1 deletions
2
index.md
2
index.md
|
@ -16,9 +16,9 @@ exercises, errors, and typos---are welcome. Pull requests
|
||||||
are encouraged.
|
are encouraged.
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
## Front matter
|
## Front matter
|
||||||
|
|
||||||
|
- [Dedication]({{ site.baseurl }}{% link out/plfa/Dedication.md %})
|
||||||
- [Preface]({{ site.baseurl }}{% link out/plfa/Preface.md %})
|
- [Preface]({{ site.baseurl }}{% link out/plfa/Preface.md %})
|
||||||
|
|
||||||
## Part 1: Logical Foundations
|
## Part 1: Logical Foundations
|
||||||
|
|
9
src/plfa/Dedication.lagda
Normal file
9
src/plfa/Dedication.lagda
Normal file
|
@ -0,0 +1,9 @@
|
||||||
|
---
|
||||||
|
title : "Dedication"
|
||||||
|
layout : page
|
||||||
|
permalink : /Dedication/
|
||||||
|
---
|
||||||
|
|
||||||
|
## To Wanda
|
||||||
|
|
||||||
|
### _knock knock knock_
|
Loading…
Reference in a new issue