Possibly add in syntax for substitutions
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 30/100
- Issue type
- Feature
- Clarity
- Needs clarification
- Activity status
- Stale
- Tech stack
- javascript
- Domain
- tooling
Research direction
The issue only identifies the lambda-explorer tutorial and REPL as the affected area; no files or tests are named. Start by locating the syntax and evaluation entry points, then determine the intended substitution notation and teaching behavior before defining completion criteria.
Written by the indexing model from the issue text.
Description
As a teaching tool, I feel like substitutions are extremely necessary in order to understand the lambda calculus. This doesn't cover them at all.
We should make that not the case.
- Dominant language
- JavaScript
- Stars
- 69
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from evinism/lambda-explorer
-
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
evinism/lambda-explorer#129 · 1 reaction ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
evinism/lambda-explorer#128 ·
-
Partial application Open
Difficulty 4/5 3-5 days Newbie friendliness 35/100
evinism/lambda-explorer#126 · 1 comment ·
-
Some typos Open
Difficulty 1/5 Under an hour Newbie friendliness 45/100
evinism/lambda-explorer#119 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
evinism/lambda-explorer#85 ·
All issues in evinism/lambda-explorer
Similar issues
-
bot:ai-assisted component:compact-js status:untriaged
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
midnightntwrk/midnight-sdk#403 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 92/100
-
Difficulty 1/5 1-3 hours Newbie friendliness 86/100
DavidAnson/markdownlint-cli2#940 ·
-
documentation
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
githubnext/gh-aw-workshop#3692 ·
-
agent/guide documentation hive/hosted-available-lke648397-260827-5n31
Difficulty 2/5 1-3 hours Newbie friendliness 90/100