From 715e81af59edd5a43dd414fcc71ca4fe181b0ad8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marko=20Dimja=C5=A1evi=C4=87?= <marko@dimjasevic.net>
Date: Thu, 4 Jul 2019 20:51:07 +0200
Subject: [PATCH] TSPL Assignment 3: fixes two spelling errors

---
 tspl/Assignment3.lagda | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tspl/Assignment3.lagda b/tspl/Assignment3.lagda
index 754467d6..c1bcf38d 100644
--- a/tspl/Assignment3.lagda
+++ b/tspl/Assignment3.lagda
@@ -99,7 +99,7 @@ data Tree (A B : Set) : Set where
   leaf : A → Tree A B
   node : Tree A B → B → Tree A B → Tree A B
 \end{code}
-Define a suitabve map operator over trees.
+Define a suitable map operator over trees.
 \begin{code}
 postulate
   map-Tree : ∀ {A B C D : Set}
@@ -144,7 +144,7 @@ postulate
 
 #### Exercise `map-is-fold-Tree`
 
-Demonstrate an anologue of `map-is-foldr` for the type of trees.
+Demonstrate an analogue of `map-is-foldr` for the type of trees.
 
 #### Exercise `sum-downFrom` (stretch)