You can edit almost every page by Creating an account and confirming your email.

Category:Dependently typed languages

From EverybodyWiki Bios & Wiki

Jump to:navigation, search

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

This category "Dependently typed languages" is from Wikipedia if otherwise notified.

Pages in category "Dependently typed languages"

This category contains only the following page.

C

Cayenne (programming language)

Retrieved from "https://en.everybodywiki.com/index.php?title=Category:Dependently_typed_languages&oldid=1467596"