HW 8  COSC 4780- typechecker

HW 8 
COSC 4780
Write the typechecker that implements the typing rules in Schmidt on
page 36. You will need to complete the implementations of the functions
declaration type and well typed program.
1