| Author here. 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. |