Introduce to Ocaml
https://ocaml.org/
https://learnxinyminutes.com/docs/ocaml/
https://ocaml.org/
https://learnxinyminutes.com/docs/ocaml/
http://www.inria.fr Institut national de recherche en informatique et en automatique
http://www.cs.princeton.edu/~dpw/courses/cos326-12/notes/index.php Princeton
https://csd.cs.cmu.edu/course-profiles/15-295-Competition-Programming-and-Problem-Solving CMU
https://ocaml.org/learn/tutorials/functional_programming.zh.html
https://www.ibm.com/developerworks/cn/linux/sdk/ocaml/part1/index.html
Simply Logical: http://people.cs.bris.ac.uk/~flach/SimplyLogical.html
Logic Programming, Reasoning
https://ocaml.org/learn/tutorials/if_statements_loops_and_recursion.zh.html
http://yuezhuang.me/2018/06/22/2018-06-25/
https://ocaml.org/learn/tutorials/if_statements_loops_and_recursion.zh.html
https://ocaml.org/docs/
http://xahlee.info/ocaml/ocaml_basics.html
https://www.cs.umd.edu/class/fall2015/cmsc330/lecture_examples/examples.pdf
https://ocaml.org/learn/tutorials/basics.html
https://ocaml.org/learn/tutorials/99problems.html