fix(05): edit typo

AndresTFG · Jul 16, 2016 · cd852b8 · cd852b8
1 parent f503bc6
commit cd852b8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/05_Interacting_with_Lean.org b/05_Interacting_with_Lean.org
@@ -620,8 +620,8 @@ open algebra nat int
 variables a b : int
 variables m n : nat
 
-check a + b    -- ℕ 
-check m + n    -- ℤ
+check a + b    -- ℤ
+check m + n    -- ℕ
 print notation +
 #+END_SRC
 This is sometimes called /parametric polymorphism/, in contrast to /ad