type systems#Type checking

  1. REDIRECT Type system {{R from plural}}