Learn You a Haskell is on my to do list and new books have appeared http://learnyouahaskell.com/ http://learnyouahaskell.com/ This hard-core type theory appear

Learn You a Haskell is on my to do list and new books have appeared http://learnyouahaskell.com/ http://learnyouahaskell.com/ This hard-core type theory appears in the Univalent Foundations stuff from IAS this year. http://homotopytypetheory.org/book/ http://homotopytypetheory.org/book/