Archived tweet #10597 from the @leastfixedpoint Twitter Archive

@cattheory When it comes time to prove that equality of `list sexp` is decidable, no handy proof of decidability of `sexp` is anywhere to be seen