1. Summary
  2. Preface
  3. Understanding Hashcons
  4. Understanding Core.Command and Cmdliner
  5. Using Z3.Datatype
  6. What are [@@deriving compare, sexp_of, hash] for?
  7. What is polymorphic compare?
  8. Understanding Data Collections in Core

Fairyland OCaml

Fairyland OCaml

Summary This Page

Preface Why Fairyland OCaml

Section: Library Gems

Good libraries deserve more explanaion.

Understanding Hashcons

Understanding Core.Command and Cmdliner

Using Z3.Datatype

Section: Using Core

More comprehensive discussion after RWO.

What are [@@deriving compare, sexp_of, hash] for?

Section: OCaml Internals

What is polymorphic compare?

🚧 Under Construction 🚧

Understanding Data Collections in Core