proglang
commented
2 years ago - the grammar for types was incomplete
- the type checker ignores doubly defined functions (just changed the text, not implemented)
- clarified calling convention after discussion in lecture
- simplified Lfun interpreter and type checker