/**
 * A transformation from pair functions to the lambda calculus.
 *
 * @author Jacob Andersen
 */

(|
  "pairs.l" -> "lambda.l" 

  [ Exp -> Exp ]

  Exp.cons =  '(\abx.xab) ($1) ($2)' ;
  Exp.car  =  '(\p.p(\xy.x)) ($1)' ;
  Exp.cdr  =  '(\p.p(\xy.y)) ($1)' ;
|)