iota.scm

; Reference implementation of Iota.  See http://ling.ucsd.edu/~barker/Iota
; Usage: echo -n "**ii*ii" | guile -l iota.scm

(let iota ()
  (if (eq? #\* (read-char)) ((iota)(iota))
      (lambda (c) ((c (lambda (x) (lambda (y) (lambda (z) ((x z)(y z))))))
		   (lambda (x) (lambda (y) x))))))

; I = *ii
; K = *i*i*ii
; S = *i*i*i*ii

; infinite loop: ```sii``sii = ****i*i*i*ii*ii*ii***i*i*i*ii*ii*ii
; diverging infinite loop: ```s`sk`sk``sii =
; ****i*i*i*ii**i*i*i*ii*i*i*ii**i*i*i*ii*i*i*ii***i*i*i*ii*ii*ii