From d9b0872a66bc9554abc878c66bce92d3038e9308 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Thu, 5 Jul 2018 15:06:01 -0300
Subject: [PATCH] adding Dedication

---
 index.md                  | 2 +-
 src/plfa/Dedication.lagda | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 src/plfa/Dedication.lagda

diff --git a/index.md b/index.md
index b868faab..8ca75ce8 100644
--- a/index.md
+++ b/index.md
@@ -16,9 +16,9 @@ exercises, errors, and typos---are welcome.  Pull requests
 are encouraged.
 
 
-
 ## Front matter
 
+  - [Dedication]({{ site.baseurl }}{% link out/plfa/Dedication.md %})
   - [Preface]({{ site.baseurl }}{% link out/plfa/Preface.md %})
 
 ## Part 1: Logical Foundations
diff --git a/src/plfa/Dedication.lagda b/src/plfa/Dedication.lagda
new file mode 100644
index 00000000..82543b83
--- /dev/null
+++ b/src/plfa/Dedication.lagda
@@ -0,0 +1,9 @@
+---
+title     : "Dedication"
+layout    : page
+permalink : /Dedication/
+---
+
+## To Wanda
+
+### _knock knock knock_