UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture7/ snippet-008.rkt 
#lang plait
{f 3}, [] =>  
       FunVal = < {lam y {+ x y}} , [x=1] > 
       Arg =  < 3 >