Haskell is a lot more mathematically rigorous than other programming languages, which means that programs can be proven to be correct. This is a book that will show you around the Haskell programming language. If you're not already familiar (or too
Read More »