3 ms·
It's controversial in the way addition is not. It's controversial as to which axioms should be the common default in the language, and where research funding sh
by sukilot 6y ago
It's controversial in the way addition is not. It's controversial as to which axioms should be the common default in the language, and where research funding should be spent.