search

lengyijun / metamath-turing-machines

metamath proof enumerators and other things
MIT License
0 stars 0 forks source link

为什么很简单的代码, 也会生成复杂的 状态 ? #4

Open lengyijun opened 4 hours ago

lengyijun commented 4 hours ago 
global a;

proc main() {
    a = 1;
    return;
}
lengyijun commented 4 hours ago

就是一个简单的加法