Allow inbuilt variables as iterables in list and constraint comprehension
Đang mở
- Ngôn ngữ chính
- Rust
- Star
- 96
- Fork
- 39
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
The following should be a valid statement:
```
ev check_binary(main: [e]):
enf e^2 - e = 0
enf check_binary([e]) for e in $main[0..3]
```
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.