3 ms·Java was invented, Agda was discovered. (Obviously I'm in the religion where math does exist.)by zeepzeep 7y agoJava was invented, Agda was discovered. (Obviously I'm in the religion where math does exist.)