Rigor is a loaded word, but otherwise I love the proposal. Maybe call it confidence instead, or something? I'd love this to extend to pursuits outside of scien

Rigor is a loaded word, but otherwise I love the proposal. Maybe call it confidence instead, or something? I'd love this to extend to pursuits outside of science too, ranging from "mathematical result verified with multiple proof assistants" to "this thing I made up and argued persuasively". Unfortunately, most of my arguments for why Haskell is the best language would fall dangerously close to that end of the spectrum :P.