Category:Dependently typed languages

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Addbot (talk | contribs) at 15:38, 27 March 2013 (Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q8374212). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Dependently_typed_languages&oldid=547280200"