7. 9. 2023 21:29
Nezkoušel jsem to, ale přijde mi, že
print_int "%d" (inc 10);;
se nemůže přeložit, protože to nedostalo int.
8. 9. 2023 7:37
copy paste error, opraveno, dik za upozorneni