LOOM: a language that proves what AI-written code is allowed to do

· Dev.to