Archived tweet #11409 from the @leastfixedpoint Twitter Archive

@beka_valentine Maybe you want a macro that expands the short data definition into turnstile type rules, for the easy cases