You can also automatically generate some migrations with a proof search in linear logic, the way the beam[1] project does. [1] https://tathougies.github.io/bea

You can also automatically generate some migrations with a proof search in linear logic, the way the beam[1] project does. [1] https://tathougies.github.io/beam/schema-guide/migrations/#automatic-migration-generation https://tathougies.github.io/beam/schema-guide/migrations/#a...