Can Lehmann on Nostr: Generally I would be interested to what extent people have explored "compiler meta ...Generally I would be interested to what extent people have explored "compiler meta theory" yet? Maybe something category theory based?