> we thought nobody had created such a general programming language before How is this more general than a language like Binary Lambda Calculus, which can boot

> we thought nobody had created such a general programming language before How is this more general than a language like Binary Lambda Calculus, which can bootstrap into any other language, like Brainfuck in 112 bytes of bootstrap, or even into Cognition itself?