:yell "...Load example file" 
:yell "tested with igor2-0.5.9.6"
:l ./ICFP2010.hs; :s +enhanced; :s +simplify;


:g addN; 
:g allodd ;
:g andL ;
:g concaT; 
:g droP ;
:g evens ;
:g fib with fibAdd ;
:g preorder with flatapp ;
:g hanoi ;
:g incr;
-- :g lasT ;
:g lasts ;
:g lengtH ;
:g lengths ;
:g mirror ;
:g multfst;
:g multlst; 
:g negateAll;
:g odD, eveN;
:g powset with powapp  ;
:g reversE ;
:g reversE with lasT ;
:g reversE with appenD;
:g reverse with snoc ;
:g shiftl ;
:g shiftr ;
:g suM ; 
:g switch ;
:g takE ;
:g zeros ;



:y "Do it again without catamorphisms!"
:s -enhanced; 

:g addN; 

:y "FAILS 'allodd' Stop after 1 loop!"
:s maxLoops=1; :g allodd; :s maxLoops=-1;

:y "FAILS 'andL' Stop after 1 loop!"
:s maxLoops=1; :g andL; :s maxLoops=-1;

:g concaT; 

:y "FAILS 'andL' Stop after 1 loop!"
:s maxLoops=1; :g droP; :s maxLoops=-1;

:g evens ;
:g fib with fibAdd ;
:g preorder with flatapp ;
:g hanoi ;
:g incr;
-- :g lasT ;
:g lasts ;
:g lengtH ;
:g lengths ;
:g mirror ;
:g multfst;
:g multlst;
:g negateAll;
:g odD, eveN;
:g powset with powapp  ;
:g reversE ;
:g reversE with lasT ;
:g reversE with appenD;
:g reverse with snoc
:g shiftl ;
:g shiftr ;
:g suM ; 
:g switch ;
:g takE ;
:g zeros ;

:q