Yesterday I asked Claude what it's ideal programming language would look like, if it could design one for LLMs instead of for humans. Today we're up to v0.6.0 already.
https://vow.kranzky.com/
vow.kranzky.comVow · VowVow: a programming language designed for language models to write, with contracts proved by Z3.
commit b93544f