leastfixedpoint

Archived tweet #5163 from the @leastfixedpoint Twitter Archive
RT @squaremobius: OH 'total consumption of a beer is a bit like "cut" in prolog' (after total consumption of two beers)