Viewing profile — DoubleDecoded

1D languages encode these relations grammatically. There is no reason why a 2D language couldn't also be grammatical. Sure it is harder to write a 2D parser perhaps, but people hav…

Thanks for showing Register state and flags. Is this all instructions?

"could break the guarantees" is a weak guarantee then.

https://github.com/andrew-johnson-4/lambda-mountain Working on verifiable correctness for programs written in LM or anything that generates annotated assembly. Basically low-level …