justifying-ocaml. A proof-of-concept for justified containers in OCaml

github.com/ninjaaron/justifying-ocaml

Problem

Audience

Updates

No founder updates yet. Check back soon.