Charles Pritchard

Results 112 comments of Charles Pritchard

Also yes confirming that the hello mmc example does hit register allocation bugs when trying to use the commented out code. That's fun, too but, more fun is trying to...

``` error: Type mismatch: type Output is not coercible to (struct {put: u32} {_1: (eq output (d0))}) --> ../../typeflow/math-study/mmt-metamath-typescript/mmt-exit-code.mm1:54:5 | 54 | / (proc 55 | | (main {argc :...