shen/release/benchmarks/interpreter.shen in shen-ruby-0.3.1 vs shen/release/benchmarks/interpreter.shen in shen-ruby-0.4.0

@@ -99,12 +99,12 @@
            (output "l-interp --> ~A~%"
               (normal_form (input+ : l_formula))))) 
 
 (define normal_form
   {l_formula --> l_formula}
-   X -> (fix ==> X))                 
+   X -> (fix (function ==>>) X))                 
     
-(define ==>
+(define ==>>
    {l_formula --> l_formula}
    [= X Y] -> (let X* (normal_form X) 
                    (let Y* (normal_form Y) 
                         (if (or (eval_error? X*) (eval_error? Y*))
                             "error!"