4 ms·Learning Clojure: dependent types and contract-based programming2 points by nfrankel 8y agomrkeen 8y agoThis is clearly a dependent type, as it implies checking on values. This is a value.