Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
olus2000
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
olus2000
5y ago
I think there is a viable Scott encoding in the UCC with a single stack by utilising order of values on the stack. C'_i would then be a series of i - 1 `drop`s followed by N - i `nip`s and an `apply` (where `nip` is `swap drop`). `quot