3 ms·
Why is the capital gamma spammed into all the formulas, instead of adding an axiom foo turnstile bar ------------------------ Gamma, foo turnsile
by tamana 11y ago
Why is the capital gamma spammed into all the formulas, instead of adding an axiom
foo turnstile bar
------------------------
Gamma, foo turnsile bar
- fanf2 11y agoΓ is a shorthand for the rest of the type environment. Your suggestion would allow the type checker to invent arbitrary phantom declarations.