Archived tweet #11364 from the @leastfixedpoint Twitter Archive

@bahstgwamt @dyokomizo @coreload @lukego @littlecalculist @sperbsen You're right: for that, record the *reductions*, not the available inputs. (In Prevayler, the input plus the previous state is enough to unambiguously reconstruct the reduction.)