Timeline for Implement an Over function
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2021 at 16:13 | history | edited | Neil | CC BY-SA 4.0 |
deleted 61 characters in body
|
| Apr 21, 2021 at 16:13 | comment | added | Neil | @Bubbler OK I've tried again and come up with your answer. | |
| Apr 21, 2021 at 14:54 | comment | added | Neil |
@Bubbler Nice, I hadn't realised that S(KK)I is just K for a start, so I'll take another crack at it.
|
|
| Apr 21, 2021 at 1:15 | comment | added | Bubbler | ...and there's Binary Combinatory Logic. Time to build an online interpreter... | |
| Apr 21, 2021 at 1:09 | comment | added | Bubbler |
Working 71 bytes: S(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(K(S(KK)))))(S(KS)K)))))(KK). I guess there must be a language like Binary Lambda Calculus that can express SKI calculus in binary or something...
|
|
| Apr 21, 2021 at 0:44 | comment | added | Bubbler |
According to SKI interpreter by aditsu, your expression evaluates to (x0->(x1->(x2->x0(x1(x2))))) which doesn't look quite correct.
|
|
| Apr 20, 2021 at 10:20 | history | answered | Neil | CC BY-SA 4.0 |