If anybody wants an example of how programming languages can be designed with an emphasis on empirical evidence over mathematical proof, take a look at https://

If anybody wants an example of how programming languages can be designed with an emphasis on empirical evidence over mathematical proof, take a look at https://quorumlanguage.com/ https://quorumlanguage.com/