Pass 1 with multi letter variable names - Githubissues

evinism / lambda-explorer

Tutorial / REPL for the lambda calculus

https://lambdaexplorer.com/

MIT License

63 stars 9 forks source link

Pass 1 with multi letter variable names #55

Closed evinism closed 7 years ago

evinism commented 7 years ago

Various choices: Adding an NAND/NOR stage for 2 reasons:

it makes "compose functions together to get bigger functions" more explicit
I needed NAND/NOR to make the width of the secret in the next problem smaller, haha.

Switching to \ for lambda for several reasons:

Single variable PLUS would parse as PλUS, no good
It matches other functional languages
It's apparently occasionally more intuitive, crazily enough to me.

TODOs:

[x] Write win condition for NAND/NOR
[x] Verify functionality of all the problems
[x] Smooth out flow for informing user of capital letters being one single token
[ ] Test that a new user understands the difference