Highest Rated Comments


ExeusV22 karma

Thanks for being honest.

ExeusV4 karma

What's the difference between language designed

by person/team with not strong background in theoretical CS (aka step by step, feature by feature and so on)

and person/team with an actual very strong background in theoretical CS (more mathematically/formally designed?)?

It's about ability to formally prove its correctness or something?

ExeusV2 karma

Thanks for the answer (: