Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP


"its" typos #8

merged 1 commit into from

3 participants


As discussed in pull request #5


Thanks for fixing this, I appreciate it.


Thanks to you for writing it, I appreciated the read!

@snoyberg snoyberg merged commit 2ab71b8 into from

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Commits on Apr 29, 2012
  1. @jmazon

    "its" typos

    jmazon authored
This page is out of date. Refresh to see the latest.
Showing with 3 additions and 3 deletions.
  1. +3 −3 chapters/type_wizardry/
6 chapters/type_wizardry/
@@ -24,7 +24,7 @@ data Successor a = Successor
This allows us to do some really interesting things. For example, we can create
-a list type where we know it's length at compile time:
+a list type where we know its length at compile time:
data Vec a l where
@@ -55,7 +55,7 @@ appendV Nil ys = ys
It's nice to be able to do this, but you may be asking "what does it buy us?".
-The next function will demonstrate it's real use. If you pass two differently
+The next function will demonstrate its real use. If you pass two differently
sized lists into the `zip` function in prelude, the resultant list will be the
same size as the smaller one, but knowing the length at compile time allows us
to prevent any such truncation:
@@ -120,7 +120,7 @@ it's very easy to end up with irrecoverable type errors like:
Couldn't match type `l' with `Plus l Zero'
-Another problem is demonstrated by the `filter` function. What's it's type?
+Another problem is demonstrated by the `filter` function. What's its type?
It's very easy to get bitten, but being able to create descriptive types like
this is a hugely useful skill to an accomplished Haskeller when used
Something went wrong with that request. Please try again.