V

factorial: (val >= 1 & val < 10) -> Intво, теперь точно тьюринг-полный
factorial x = if (x == 1) then 1 else x * (factorial (x - 1))
Size: a a a
V

factorial: (val >= 1 & val < 10) -> Intво, теперь точно тьюринг-полный
factorial x = if (x == 1) then 1 else x * (factorial (x - 1))
p
p
SP
ML
ML
p
t
r
SP
SP
SP
p
p
SP

factorial: (val >= 1 & val < 10) -> Intво, теперь точно тьюринг-полный
factorial x = if (x == 1) then 1 else x * (factorial (x - 1))
p
p
SP