Odel

sowiedu

1 entry

External
Edict
Edict
📦Local
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
aiai-agentscompilereffect-system+9