Comment Comment by HumanDrivenDev Are there type systems where these axioms can be encoded? Dependent typing, perhaps. parent HumanDrivenDev 8 years ago
