Archived tweet #3806 from the @leastfixedpoint Twitter Archive

RT @lindsey: @swannodette Actually, today @rrnewton pointed out that if you represent 3 and 5 in unary, as lists of IVars, they could "u ...