Hal Snyder <hal@REDACTED> writes: > UBF Disadvantages > > 2. Unproven. Surely at least UBF(A) _is_ proven, since it's just term_to_binary in disguise (and term_to_binary is wonderful!) > 4. S-expression closing tag problem. What's that? Cheers, Luke