gistfile1.scm

; The SKI library from Roboto.  With minor tweaks, it should run in most
; flavors of Scheme, I suspect.  Some definitions (the hard ones!) taken from
; the Unlambda page (http://www.madore.org/~david/programs/unlambda/).
(= pkgname 'SKI)
       
; Prelude:
(= λ lambda) ; A more classical feel.

; The two primitives:
(def S x (λ y (λ z ((x z) (y z)))))
(def K x (λ y x))
; There are zero lambdas below this line:

(= V (((S ((S (K S)) K)) K)((S ((S (K S)) K)) K)))
(= I ((S K) K))
(= Y (((S (K ((S I) I))) (S ((S (K S)) K))) (K ((S I) I))))