curious-ocaml
curious-ocaml copied to clipboard
lukstafi
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
The derivation .tm source is not in the repo.
[Preface](https://ocaml-preface.github.io/preface/Preface/index.html) It implements many algebraic / category-theoretic abstractions.
Or discuss why it's impossible to solve. See e.g. [discussion about open recursion with extensible GADTs](https://discuss.ocaml.org/t/best-approach-for-implementing-open-recursion-over-extensible-types/11678).
Convert right-margin comments into OCaml source comments (trailing comments on code lines). Somehow implement a renderer so that non-docu-comments that follow code are rendered right-adjusted (right margin) in the generated...