Comment on Why don't you use dependent types?parentComments−adastra2210moIn coding terms this is the equivalent of Donald Knuth writing a blog post titled “Why I don’t use version control.”
Comments
In coding terms this is the equivalent of Donald Knuth writing a blog post titled “Why I don’t use version control.”