surety 0.0.1

Surety: an agent-native language where models write implementations, humans write specs, and a checker is the referee. Placeholder release.
1
2
3
4
5
6
7

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "surety"
version = "0.0.1"