github.com/smasher164/tapl@v0.0.0-20230202055446-fd56bc413abd
/
tests
/
arith
/
4.in.txt
(
about
)
1 succ 0