4 ms·
As long as elegance is not solely length using certain combinatory representations like SKI: (S(K(SI))(S(KK)I)) :: λxy.yx
by l- 4y ago
As long as elegance is not solely length using certain combinatory representations like SKI: (S(K(SI))(S(KK)I)) :: λxy.yx