HBAL Typechecker

Examples:

test_arith.hbal test_call.hbal test_jumps.hbal test_list_paper.hbal
test_move.hbal test_move_macro.hbal test_parser.hbal test_trees.hbal



This material is based upon work supported by the National Science Foundation under Grant No. 0093362

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.