One engine for schematic version control within and across any schema language. Built on generalized algebraic theories for provably correct migrations.
schema
atproto
conversion
theory
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community