Cons lists implemented as lambdas in Seph, see http://JoergWMittag.GitHub.Com/lambdaconscarcdr/

lambdaconscarcdr.ik

;; This is the Ioke code for comparison.

;; See <http://JoergWMittag.GitHub.Com/lambdaconscarcdr/> for 
;; what this is supposed to do.

cons = fn(hd, tl, fn(x, if(x, hd, tl)))
car  = fn(l, l(true ))
cdr  = fn(l, l(false))

l    = cons(1, cons(2, nil))

car(cdr(l)) println

lambdaconscarcdr.sp

;; See <http://JoergWMittag.GitHub.Com/lambdaconscarcdr/> for 
;; what this is supposed to do.

cons = #(hd, tl, #(x, if(x, hd, tl)))

car  = #(l, l(true ))
cdr  = #(l, l(false))

l    = cons(1, cons(2, nil))

car(cdr(l)) println

;; This doesn't actually *run*, because the compiler is missing 
;; some necessary functionality, but it should be *correct* (i.e. 
;; it *will* run once the compiler matures.
;;
;; Currently, the errors are:
;;     couldn't find: x on seph.lang.Ground
;;     couldn't find: nil on seph.lang.Ground