bit-rotted

If not, oh well, the cost for waste disposal of bit-rotted software project is rather small, no?

Really, any project that hasn't been updated for more than a week probably bit-rotted to the core and shouldn't be considered for production use.

Adding a test case for every potential bit-rotted branch of the conditional.

There are indeed lots of old bit-rotted libraries on planet, and not as much guidance as would be nice on how to pick good ones.

`rustc` already has a `--pretty` flag, though it's not great, and has bit-rotted a bit.

There are very few executables written in Idris (and even fewer that aren't bit-rotted), the build tooling and package management are very simple, the runtime is heavily optimized, concurrent or parallel (like GHC's) and the single-threaded performance is far from Rust's.

Could we not turn that objection around to say we'd like to see implementations that allow exposure of random people's payroll data by typo-ed/bit-rotted/guessed SSNs should be criminalized?

The business simply couldn't stop (or even maintain the status quo) to let them build the shiny new V2, so it kept getting pushed out and restarted long enough that the plans and specs bit-rotted and the whole thing got scrapped.