Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
wrbs
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
wrbs
4y ago
There's nothing about the lambda calculus which forces you to use the church encoding of natural numbers. You could also come up with an encoding based on booleans as bits: {true} = \t f. t {false} = \t f. f then bytes: {0
2.
▲
by
wrbs
4y ago
Got the same. There are 200 ways of doing this (if you don't distinguish between the 2 bunnies when they're on the same tile, 420 if you do). If you merge together moves involving the same animal there are only 4 (with length 15).