Category:Dependently typed languages

This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.