diff --git a/README.md b/README.md index 8d15dda..963ace6 100644 --- a/README.md +++ b/README.md @@ -122,8 +122,7 @@ Your favorite package is not listed? Fork and [create a Pull Request](https://gi - [Using, Understanding, and Unraveling OCaml](https://caml.inria.fr/pub/docs/u3-ocaml) – This book describes both the OCaml language and the theoretical grounds behind its powerful type system. - [Purely Functional Data Structures](https://www.amazon.co.uk/Purely-Functional-Structures-Chris-Okasaki/dp/0521631246/ref=sr_1_1?ie=UTF8&qid=1406279836&sr=8-1&keywords=functional+data+structures) - This is the first or only book focus on various data structures in FP world. A must-read one. - [OCaml for Scientists](http://www.ffconsultancy.com/products/ocaml_for_scientists/) - by Jon Harrop. -- [Functional Programming in OCaml: A Principled Approach](https://www.cs.cornell.edu/courses/cs3110/2021sp/textbook/) - Textbook for CS 3110 Functional Programming in OCaml, Cornell University. - +- [OCaml Programming: Correct + Efficient + Beautiful](https://cs3110.github.io/textbook) - Textboot on functional programming and data structures in OCaml - by Michael R. Clarkson et al. ## Code Analysis and Linters