matthiasgoergens/binary-relations
Binary relations as first-class immutable values in OCaml: access-path independence, lazily built indexes, an allegory-shaped signature ladder, and one program run as an evaluator, a plan and a live Incremental graph
正在读取项目信息…