Category:Dependently typed programming

The main article for this category is Dependent type.

Uses material from the Wikipedia article Category:Dependently typed programming, released under the CC BY-SA 4.0 license.