1820 shaares
1 result
tagged
theory
One engine for schematic version control within and across any schema language. Built on generalized algebraic theories for provably correct migrations.
