AI Decision System
Replayable, offline-verifiable records for AI-assisted go/no-go decisions: experiment promotions, typed model answers and human-approved actions.
翻译准备中
Statically-typed language designed for AI agents to write correct, maintainable code. Explicit ownership, no hidden effects.
翻译准备中
取自仓库 README
正在加载完整 README。 以下为已保存的摘录。
Statically-typed language designed for AI-agent efficiency — and written by AI agents. Explicit ownership (like Rust), goroutine-style concurrency (like Go), algebraic errors, generics, exhaustive pattern matching — no hidden effects. Native LLVM compilation to Linux, macOS, Windows, and WASM.
Install Promise — macOS (Apple Silicon), Linux (x86_64 or arm64), or Windows (x86_64).查看完整 README ↗目前无法加载完整 README。请通过原文链接阅读。 以下为已保存的摘录。
Statically-typed language designed for AI-agent efficiency — and written by AI agents. Explicit ownership (like Rust), goroutine-style concurrency (like Go), algebraic errors, generics, exhaustive pattern matching — no hidden effects. Native LLVM compilation to Linux, macOS, Windows, and WASM.
Install Promise — macOS (Apple Silicon), Linux (x86_64 or arm64), or Windows (x86_64).查看完整 README ↗