lukstafi / curious-ocaml

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

Related projects

Alternatives and complementary repositories for curious-ocaml