All Questions
Tagged with static-typing type-theory
1
question
8
votes
1
answer
366
views
How, if at all, do kinds fit into the type universe hierarchy?
As I understand it, as a (value-level) function f that takes a value x of type T and returns ...