Archived tweet #11363 from the @leastfixedpoint Twitter Archive

@dyokomizo @bahstgwamt @coreload @lukego @littlecalculist @sperbsen Ugh, I fucked up the reducts :) -- either x!1 | P{2/v} or P{1/v} | x!2 of course. Moar coffee