evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
オープン
- 主要言語
- JavaScript
- スター
- 69
- フォーク
- 10
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
- 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.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。