Searching protocol for "algebraic-databases"
Algebraic databases: category-theoretic data stores.
Organize Drive as a typed ACSet database.
Bidirectional Lisp ↔ ACSet bridge.