type checking

1. REDIRECT Type system#Type checking

{{Redirect category shell|1=

{{R with possibilities}}

}}

Category:type theory