Category:Dependently typed languages

From Justapedia, unleashing the power of collective wisdom
Jump to navigation Jump to search

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

There are no pages or files in this category.
This list may not reflect recent changes (learn more).
Retrieved from "https://justapedia.org/index.php?title=Category:Dependently_typed_languages&oldid=859991351"