[Jtsummers]

Idris and dependent types via Type-Driven Development. It's an excellent book, very clearly written and approachable. May be a bit more challenging if you haven't used Haskell/SML/OCaml or similar languages before.