Representation
Representation
Global
A lot of the global information predates the frontend context. A lot can probably be integrated.
Raw Globals Type is a term, which may not be correct (what the user wrote), Regular global the types are values, which can be checked for equality eaiser.
Only safe to eval something after it's been type checked
Way to unify?
Last modified
June 25, 2021
: Give title sections to HR and IR docs (fd30d8a)