github.com/smasher164/tapl@v0.0.0-20230202055446-fd56bc413abd/tests/arith/10.in.txt (about) 1 if true then succ 0 else 0