Skip to content

Instantly share code, notes, and snippets.

@StevenXL

StevenXL/unverified_error.hs

Created October 12, 2016 01:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save StevenXL/e53123726e7eef8de9bbf795f6f60d19 to your computer and use it in GitHub Desktop.
Save StevenXL/e53123726e7eef8de9bbf795f6f60d19 to your computer and use it in GitHub Desktop.
Download ZIP
Haskell Book - Unverified Error
Raw
unverified_error.hs
-- Page 12 on the 0.12.0-screen version of the book
-- You start step 2 with the following lambda:
(\x.\y.\z.xy(yz))(\m.\n.\m)(\p.p)
-- You then reduce it, in step 3 to the following:
(\y.\z(\m.\n.\m)z(yz))(\p.p)
-- I believe that this reduce is missing a period after the first z, and instead should read like so:
(\y.\z.(\m.\n.\m)z(yz))(\p.p)
-- If this is indeed a mistake, and not my own misunderstanding, it carries on throughout the example.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment