This book still provides one of the best introductions to both basic ML programming, structuring big project with modules, and mechanical theorem proving. I w

This book still provides one of the best introductions to both basic ML programming, structuring big project with modules, and mechanical theorem proving. I wish it was updated to OCaml, Scala, and maybe even Haskell.