ten-locs{$l_server,$l_choose,$l_comm,$l_pi,$a1,$a2,$a3,$a4,$a5,$a6,$a7}() ==
  [<0, "$l_server"> 
   
   <1, "$l_choose">
    
   <2, "$l_comm">
    
   <3, "$l_pi">
    
   <4, "$a1">
    
   <5, "$a2"> <6, "$a3"> <7, "$a4"> <8, "$a5"> <9, "$a6"> <10, "$a7">]
Definitions : 
cons: [car / cdr], 
pair: <a, b>, 
natural_number: $n, 
mkid: "$x", 
nil: []
FDL editor aliases : 
ten-locs
ten-locs\{\$l\_server,\$l\_choose,\$l\_comm,\$l\_pi,\$a1,\$a2,\$a3,\$a4,\$a5,\$a6,\$a7\}()  ==
    [ɘ,  "\$l\_server"> 
     
      ə,  "\$l\_choose">
       
      ɚ,  "\$l\_comm">
       
      ɛ,  "\$l\_pi">
       
      ɜ,  "\$a1">  ɝ,  "\$a2">  ɞ,  "\$a3">  ɟ,  "\$a4">  ɠ,  "\$a5">  ɡ,  "\$a6">  ,  "\$a7">]
Date html generated:
2010_08_27-PM-08_40_02
Last ObjectModification:
2010_05_04-PM-05_28_45
Home
Index