- Re-add alloy into Recife
- How to call preds with the REPL?
- Call assertions with the REPL?
- Convert XML solutions or Java data structures to EDN
- Are we able to check relationships?
- https://www.hillelwayne.com/post/formally-modeling-migrations/
- We can model relations directly with actions automatically created for them
- Communication between Recife and Alloy using Clojure
- Create Clerk viewer for
with-eval - Check if some schema migration is a breaking change