> Only in the sense that writing in brainfuck is equivalent to writing in Python...
Actually, in the very concrete sense that a program is a proof for the forumala that is equivalent to its type[0].
[0] https://en.wikipedia.org/wiki/Curry–Howard_correspondence
> Only in the sense that writing in brainfuck is equivalent to writing in Python...
Actually, in the very concrete sense that a program is a proof for the forumala that is equivalent to its type[0].
[0] https://en.wikipedia.org/wiki/Curry–Howard_correspondence