Hello!
Erdeklodni szeretnek, hogy a peldaprogramok felkerulnek-e majd a honlapra.
Azert kerdezem, mert begepeltem ezt a Peano-s programot a pdfbol, de
egyfolytaban syntax error kapok a szorzat es az int_to_peano predikatumban.
Fel oraja keresem mar, hogy mit irtam el, de keptelen vagyok megtalalni, es
kezdek kiakadni.
Adam