amb-eval - amb-analyze
amb-eval - self-evaluating is now working.
amb-eval - analyze code
ignore coq output file
amb-eval - if slot is working
amb-eval - tests for 'if' slot
amb-eval - prepare for analyze-lambda
amb-eval - proc application -> amb-eval-apply.scm
amb-eval - "apply" for primitive proc
amb-eval - not working for lambda application..
amb-eval - lambda application is now working
amb-eval - test facility
amb-eval - deploy test facility
amb-eval - some cleanup on code
amb-eval - handle begin
amb-eval - remove unused
amb-eval - comments for slot "begin"