github.com/smasher164/tapl@v0.0.0-20230202055446-fd56bc413abd/tests/arith/12.in.txt (about)

     1  succ if iszero pred succ 0 then succ 0 else 0