Aver is an experimental statically typed language for AI-written, human-reviewed code.
What’s different is that intent (`?`), explicit effects (`!`), design decisions (`decision`), and behavior checks (`verify`) are part of the source itself rather than split across code, comments, docs, and tests.
If you want to evaluate it quickly, I’d suggest these places:
- medium-sized example: https://github.com/jasisz/aver/tree/main/projects/workflow_e...
- Lean proof export for the pure subset: https://github.com/jasisz/aver/tree/main/docs/lean.md
- examples of effectful programs / replay: https://github.com/jasisz/aver/tree/main/examples/services
The main question I’m testing is whether this deserves to be a language, or whether the same idea should just be tooling and conventions on top of an existing language.