Lukasz Stafiniak
Results
2
repositories owned by
Lukasz Stafiniak
curious-ocaml
24
Stars
0
Forks
Watchers
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
ppx_minidebug
26
Stars
1
Forks
Watchers
Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.