Archived tweet #10715 from the @leastfixedpoint Twitter Archive

@noelwelsh Though I'd still be interested to see what a dumb STLC-like language extended with natural folds would be like :)