Yeah, but the thing about drama is that for it to be drama there has to be someo...

		Causality1 on June 20, 2019 \| parent \| context \| favorite \| on: Use Coq in Your Browser: The Js Coq Theorem Prover... Yeah, but the thing about drama is that for it to be drama there has to be someone saying "No, this behavior is not ok." Those voices have largely been silenced and the behavior proceeds apace.