leastfixedpoint

Archived tweet #4312 from the @leastfixedpoint Twitter Archive
RT @donovanpreston: "The First Level of Super Mario Bros. is Easy with Lexicographic Orderings and Time Travel" youtube.com/watch?v=xOCurB…