Skip to content

Instantly share code, notes, and snippets.

@bondiano

bondiano/gist:4f271a5109aeebb22442e570a17fb2cc

Created November 29, 2018 09:07
Show Gist options
  • Save bondiano/4f271a5109aeebb22442e570a17fb2cc to your computer and use it in GitHub Desktop.
Save bondiano/4f271a5109aeebb22442e570a17fb2cc to your computer and use it in GitHub Desktop.
Download ZIP
combinators
Raw
gistfile1.txt
(((S
((S ((S (K S)) ((S (K K)) I)))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S)))) ((S ((S (K S)) ((S (K K)) (K K)))) (K I)))))
((S ((S (K S)) ((S (K K)) (K K)))) (K I))))))
((S (K K)) (K I)))))
((S ((S (K S)) ((S (K K)) I)))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S)) ((S ((S (K S)) ((S (K K)) (K S)))) ((S ((S (K S)) ((S (K K)) (K K)))) (K I)))))
((S ((S (K S)) ((S (K K)) (K K)))) (K I))))))
((S (K K)) (K I)))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S)))) ((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K))))
((S (K K)) (K ((S ((S I) ((S (K K)) (K (K I))))) (K K))))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K))))
((S (K K))
(K
((((S ((((S (K S)) K) ((S (K S)) K)) S)) (K K)) I)
(S ((S (K S)) K)))))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) (K I))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S (K K)) (K I)))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K ((S ((S (K S)) K)) (K I)))))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K))))
((S (K K))
(K ((((S ((((S (K S)) K) ((S (K S)) K)) S)) (K K)) I) (S ((S (K S)) K)))))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K))))
((S (K K))
(K
((S ((S I) ((S (K K)) (K ((S ((S (K S)) (K I))) ((S (K K)) (K I)))))))
(K K))))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K))))
((S (K K)) (K ((S (K S)) K)))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) (K I))))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K I)))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K (K I))))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) I)))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K S))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))
((S ((S (K S)) ((S (K K)) (K K)))) ((S (K K)) (K K))))))))
((S
((S (K S))
((S ((S (K S)) ((S (K K)) (K S))))
((...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment