Show HN: A Type-Level Brainfuck Interpreter (github.com)

TS Playground: https://tsplay.dev/brainfuck

Scroll down to the "test cases" section and hover over the type names to see the output.