Dependent type

From PKC
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"