Implement type checker #4
Description
Do we also need to do any type inference? (This would mean mutating the AST.) I think this depends on whether we look up named variables in the symbol table at parse time or at typecheck time.
{{ message }}
Do we also need to do any type inference? (This would mean mutating the AST.) I think this depends on whether we look up named variables in the symbol table at parse time or at typecheck time.