Zero | An agent-first language experiment.
A programming language where the graph is the program. Humans ask for outcomes. Agents query the program graph, submit checked edits, and prove the result.
No discussion yet. Be the first to share your thoughts!