GitHub - lukstafi/curious-ocaml: A curious book about OCaml: logic (types), algebra (values), computation (semantics), functions (lambda calculus), constraints, monads, algebraic effects, expression.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 142 Commits
.github/workflows		.github/workflows
chapter1		chapter1
chapter10		chapter10
chapter11		chapter11
chapter12		chapter12
chapter2		chapter2
chapter3		chapter3
chapter4		chapter4
chapter5		chapter5
chapter6		chapter6
chapter7		chapter7
chapter8		chapter8
chapter9		chapter9
docs		docs
exam		exam
for_texmacs		for_texmacs
pdfs		pdfs
proposals		proposals
site		site
.gitignore		.gitignore
AGENTS_STAGING.md		AGENTS_STAGING.md
CLAUDE.md		CLAUDE.md
Curious_OCaml-cover.jpg		Curious_OCaml-cover.jpg
LICENSE		LICENSE
MD_metadata.md		MD_metadata.md
README.md		README.md
SESSION.md		SESSION.md
curious.opam		curious.opam
debug.log		debug.log
dune		dune
dune-project		dune-project
intro.md		intro.md
old_lectures_as_book.md		old_lectures_as_book.md

Repository files navigation

About

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

lukstafi.github.io/curious-ocaml/

computer-science functional-programming ocaml

Readme

GPL-3.0 license