CSCE531 Typechecker The type checker needs to be fleshed out some more, but its coming along smoothly. Interpretter
