The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`).

Open
#40 8 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
45/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Stale
Tech stack
javascript
Domain
compilers

Research direction

Start by reproducing the two lambda expressions in the project's REPL and inspect the equivalence-checking entry point. Verify the behavior for λn. n versus Church 1, then check whether E := λmn. n m is recognized as an exponentiation solution; done means the intended equivalence is recognized and covered by a repeatable test.

Written by the indexing model from the issue text.

Description

bug enhancement

This might prevent it from recognizing E := λmn. n m as a solution to the exponentiation problem. (I can't check it right now). But it certainly does not help when testing.

Dominant language
JavaScript
Stars
69
Forks
10
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from evinism/lambda-explorer

All issues in evinism/lambda-explorer

Similar issues

More JavaScript issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.