2166 shaares
352 private links
352 private links
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.