Help for this page

Select Code to Download


  1. or download this
    {
        package wraith;
    ...
            @args
        }
    }
    
  2. or download this
    # test case: a lambda-calculus-to-perl translator
    
    ...
    for my $termitr (@$termlist) {
        print emitterm($termitr); print "\n";
    }