evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
Đang mở
- Ngôn ngữ chính
- JavaScript
- Star
- 69
- Fork
- 10
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
- This one should pass level 17, but doesn't: `(λabcd.ad)pyyp`.
- This one should pass level 18, but doesn't: `(λx.i)xλj.k`.
FWIW, the inspector thinks they're both beta-irreducible, despite reducing them.
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.