leastfixedpoint

Archived tweet #7141 from the @leastfixedpoint Twitter Archive
RT @krismicinski: The CEK machine, in 12 lines (plus comments) of Prolog: github.com/kmicinski/cmsc…