looks like sicp in Ocaml, I have take sicp in Python(UCB CS 61A),very impressive,even enlightening.