edit whitespace

Author: Alex Gryzlov

src/Makefile

@@ -16,7 +16,7 @@ LIDR_FILES := Preface.lidr \
 	Induction.lidr \
 	Lists.lidr \
 	Poly.lidr \
-        Tactics.lidr
+    Tactics.lidr
 # TODO: Add more chapters, in order, here.
 
 

src/Poly.lidr

@@ -293,7 +293,7 @@ polymorphic lists...
 > app Nil l2 = l2
 > app (h::t) l2 = h :: app t l2
 
-> rev : (l: List x) -> List x
+> rev : (l : List x) -> List x
 > rev [] = []
 > rev (h::t) = app (rev t) (h::Nil)