Voting
Category
real language
Bookmarking
Language SKI Combinator Calculus
| Date: | 05/28/05 |
| Author: | Erling Alf Ellingsen |
| URL: | n/a |
| Comments: | 0 |
| Info: | http://esoteric.sange.fi/essie2/download/lazy-k/ |
| Score: |  (2.93 in 14 votes) |
K(S(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(SI(K(S (K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K )I)))))))))))))))))(S(K(S(K(S(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)K)))))))))( S(K(S(K(S(K(S(S(KS)(S(KK)(S(KS)K)))))))))(S(S(KS)(S(KK)(S(KS)(S(KK)(S( KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(SI(K(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S (KS)K)(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))))))))))))))(S(K(S(K(S( S(KS)(S(KK)(S(KS)(S(KK)(S(KS)K)))))))))(S(K(S(K(S(K(S(K(S(K(S(K(S(K(S( SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))K))))))))))))(S( S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(K(S(K(S(KS)))))) )(S(K(S(K(S(K(S(KK)))))))(S(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S( K(S(K(S(K(SII))))))))(S(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(K(S( K(S(KS)))))))(S(K(S(K(S(K(S(K(S(KS)))))))))(S(K(S(K(S(K(S(K(S(K(S(KS)) )))))))))(S(K(S(K(S(K(S(K(S(K(S(S(KS)(S(KK)(S(S(KS)(S(K(S(KS)))(S(K(S( KK)))(S(S(KS)(S(KK)(SI(K(S(K(SI))K)))))(KK)))))(K(K(S(K(S(S(KS)K)I(S(S (KS)K)(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(SII)I(S(S(KS)K)I)))(S(K(SI))K)))) K))))))))))))))))(S(K(S(K(S(K(S(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S( KS)(S(KK)(SII)))(K(S(S(KS)K)))))))))))))))(S(K(S(K(S(K(S(KK)))))))(S(K (S(K(S(K(S(S(KS)(S(KK)(S(KS)K)))))))))(S(K(S(K(S(KK)))))(S(S(KS)(S(KK) (S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(KK))))))))(S(K(S(S(KS)(S(KK)(S(KS)(S( KK)(S(KS)K)))))))(S(K(S(K(S(S(KS)(S(KK)(S(KS)K)))))))(S(K(S(K(S(K(S(K( S(K(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))K))))) )))))(S(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(KK))))))))(S(K(S(S (KS)(S(KK)(S(KS)(S(KK)(S(KS)K)))))))(S(K(S(K(S(S(KS)(S(KK)(S(KS)K))))) ))(S(K(S(KK)))(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(KK))))))(K(S(KK)(S(S( KS)K)(K(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))K) ))))))))))))))))))))))))(K(K(K(K(K(KI)))))))))))(K(K(K(K(S(S(KS)K)I))) ))))))))))(S(K(S(K(S(K(S(K(S(S(KS)K)))))))))(S(S(KS)(S(KK)(S(KS)(S(KK) (S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(SI(KI))))))))))))(S(K(S(S(KS)(S(K K)(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)K)))))))))(S(K(S(K(S(K(S(S(KS)(S(KK)(S (KS)K)))))))))(S(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(S(KS) (S(KK)(SI(KI))))))))))))(S(K(S(S(KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(S(K S)K)))))))))(S(KK)(S(K(S(K(S(S(KS)(S(KK)(S(KS)K)))))))(S(S(KS)(S(KK)(S (KS)(S(KK)(S(KS)(S(KK)(S(KS)(S(KK)(SI(KI))))))))))(K(S(S(KS)(S(KK)(S(K S)(S(KK)(S(KS)K)))))(S(K(S(K(S(K(S(K(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(K S)K)(SII(S(S(KS)K)I))))))))K))))))))(S(K(S(K(S(S(KS)K)))))(S(K(S(KK))) (S(K(S(K(SI))))(S(K(S(KK)))(S(S(KS)K)(K(SI(K(K(SII(SII(S(S(KS)K)I))))) )))))))))))))))))))))))))(SII(S(S(KS)(S(K(S(KS)))(S(K(S(S(KS)(SS(S(S(K S)K))(KK)))))(S(S(KS)(S(KK)(S(KS)(S(S(KS)(S(KK)(S(KS)(S(S(KS)(S(KK)(SI I)))(K(SI(KK)))))))(K(S(K(S(S(KS)(S(K(SI))(S(KK)(S(K(S(S(KS)K)(S(S(KS) K)I)(S(SII)I(S(S(KS)K)I)(S(S(KS)K)))))(SI(K(KI)))))))))(S(KK)K)))))))( K(S(KK)(S(SI(K(S(S(S(S(SSK(SI(K(KI))))(K(S(S(KS)K)I(S(S(KS)K)(S(S(KS)K )I))(S(K(S(SI(K(KI)))))K)(KK))))(KK))(S(S(KS)(S(K(SI))(S(KK)(S(K(S(S(K S)K)))(SI(KK))))))(K(K(KI)))))(S(S(KS)(S(K(SI))(SS(SI)(KK))))(S(KK)(S( K(S(S(KS)K)))(SI(K(KI)))))))))(K(K(KI))))))))))(K(KI))))(S(K(S(SI(K(S( K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K )I))(S(S(KS)K)(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(SII)I(S(S(KS)K)I))))))))) (S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I) )(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS) K)I)))(S(S(KS)K)(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I))))))))))(S(KK)(S( K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)(SII(S(S(KS)K)(S(S(K S)K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(SII(S(S(KS)K)(S (S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I ))(S(S(KS)K)(SII(S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I) )(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I) )(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK) (S(K(S(SI(K(S(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I))))(S(S(KS)K)(S( SII)I(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S (KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS) K)(S(S(KS)K)I)))(S(SII)I(S(S(KS)K)I)))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K )(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))))(S(KK) (S(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS )K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS) K)I))(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))K)))))))))))))))))) )))))))))))(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))))(S(KK )(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)(S(S(KS)K)I)))(S( SII)I(S(S(KS)K)I)))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))( S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK)(S (K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)(SII(S(S(KS)K)(S(S( KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S( KS)K)(SII(S(S(KS)K)(S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S( KS)K)I)))(SII(S(S(KS)K)(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)( S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))))(S(KK)(S (K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS )K)(SII(S(S(KS)K)(S(S(KS)K)I))))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K )I))(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K )I))(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S( KK)(S(K(S(SI(K(S(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I))))(S(S(KS)K) (S(SII)I(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I( S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S( KS)K)(S(S(KS)K)I)))(S(SII)I(S(S(KS)K)I)))))))))(S(KK)(S(K(S(SI(K(S(S(K S)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))))(S( KK)(S(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S (KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S( KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))K))))))))))))))) ))))))))))))))))(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I))))))) (S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I) )(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I) )(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I))))))))))(S(KK)( S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K (S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I))) )))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)I(S( S(KS)K)(SII(S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I (S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K( S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS )K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I)))))(S(S(KS)K)(S(SII)I(S(S(K S)K)I))))))))(S(KK)(S(K(S(SI(K(S(SII)I(S(S(KS)K)I)(S(S(KS)K))(S(SII)(S (S(KS)K))(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(SII (S(S(KS)K)(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S II(S(S(KS)K)(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S( KS)K)(SII(S(S(KS)K)I))))))))K)))))))))))))))))))))))))(S(K(S(SI(K(S(K( SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I)))))))) ))(S(KK)(S(K(S(SI(K(S(SII)I(S(S(KS)K)I)(S(S(KS)K))(S(SII)(S(S(KS)K))(S (S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(SII(S(S(KS)K)(S(S(KS)K)I))(S(S(KS)K) )(S(K(S(S(KS)K)(SII(S(S(KS)K)I))))(S(SII)I(S(S(KS)K)I))))))))(S(KK)(S( K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K) I))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))) )(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I ))(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I ))(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I))))))))))(S(KK) (S(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS )K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I))) ))))(S(KK)(S(K(S(SI(K(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS )K)I)))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S( K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK)(S(K(S(SI(K(S( K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I)))))(S(S(KS)K)(S(SII )I(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K( S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(S(K S)K)(S(SII)I(S(S(KS)K)I))(S(S(KS)K))(SII(S(S(KS)K)(S(S(KS)K)I))))))))( S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K( S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I))))))) ))(S(KK)(S(K(S(SI(K(S(SII)I(S(S(KS)K)I)(S(S(KS)K))(S(SII)(S(S(KS)K))(S (S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K) (S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I))))))))))))(S(KK) (S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S( KS)K)(SII(S(S(KS)K)(S(S(KS)K)I))))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS )K)I))(S(SII)I(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(SII(S( S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)I(S(S(KS)K)(SII(S(S(KS)K)I)))))))))))(S (KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)(SII(S(S(KS)K )(S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(SII)I(S(S(K S)K)I)))))))(S(KK)(S(K(S(SI(K(S(SII)I(S(S(KS)K)I)(S(S(KS)K))(S(SII)(S( S(KS)K))(S(S(KS)K)I)))))))(S(KK)(S(K(S(SI(K(S(K(SII(S(S(KS)K)I)))(SII( S(S(KS)K)(S(S(KS)K)I))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I ))(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I)))))))))))(S(KK )(S(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K) (S(S(KS)K)I))))))))))(S(KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(K(S(S(KS)K)I))( S(S(KS)K)(S(S(KS)K)I))))(S(S(KS)K)(S(SII)I(S(S(KS)K)I)))))))))(S(KK)(S (K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(SII(S(S(KS)K)I))))))))K)))))))))) )))))))))))))))))))))))))))))))))))))))))))))))(S(K(S(SI(K(S(K(S(S(KS) K)I))(S(S(KS)K)(S(K(S(S(KS)K)I))(SII(S(S(KS)K)(S(S(KS)K)I))))))))))(S( KK)(S(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(KS)K)I))(S II(S(S(KS)K)(S(S(KS)K)I)))))))))))K))))
Download Source | Write Comment
Download Source | Write Comment
Add Comment
Please provide a value for the fields Name,
Comment and Security Code.
This is a gravatar-friendly website.
E-mail addresses will never be shown.
Enter your e-mail address to use your gravatar.
Please don't post large portions of code here! Use the form to submit new examples or updates instead!
Comments