lukstafi / curious-ocaml

A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.

https://lukstafi.github.io/curious-ocaml/

lukstafi/curious-ocaml Stargazers