Write new memory constraints to check correctness
オープン
- 主要言語
- Rust
- スター
- 96
- フォーク
- 39
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Write memory constraints in AirScript with the gradual addition of new features to check their correctness.
Originally written by @tohrnii: [write] some constraints which we can check with current syntax, then with evaluator, then with functions, then with constraint comprehension, and so on
コントリビューションガイド
評価
この issue はまだ評価されていません。