Category:Dependently typed programming
From HandWiki
Here is a list of articles in the Dependently typed programming category of the Computing portal that unifies foundations of mathematics and computations using computers.
Subcategories
This category has only the following subcategory.
D
- Dependently typed languages (17 P)
Pages in category "Dependently typed programming"
The following 13 pages are in this category, out of 13 total.
