A prompt is a request. A language is the law: Aver and AI-written code

I did not start Aver because I think AI changes everything. I started it because, if AI is going to...