Dependent type

From PKC
Revision as of 14:09, 18 May 2022 by Benkoo (talk | contribs) (Created page with "{{WikiEntry|key=Dependent type|qCode=997433}} is a data type whose definition depends on a value. Category:Logic")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Dependent type(Q997433) is a data type whose definition depends on a value.

Retrieved from "https://pkc.pub/index.php?title=Dependent_type&oldid=30640"