updated dedication

src/plfa/dedication.md

@@ -6,7 +6,7 @@ next      : /Preface/
 ---
 
 <center>
-<h2>To Wanda</h2>
+<h2>para Wanda</h2>
 <h3><em>amor da minha vida</em></h3>
 <h4><em>knock knock knock</em></h4>
 <h4><em>...</em></h4>

src/plfa/part1/Naturals.lagda.md

@@ -305,7 +305,7 @@ Here is the definition of addition in Agda:
 ```
 _+_ : ℕ → ℕ → ℕ
 zero + n = n
-suc m + n = suc (m + n)
+(suc m) + n = suc (m + n)
 ```
 
 Let's unpack this definition.  Addition is an infix operator.  It is