fork download

copy

fun fact(n) =
	let 
            (*INV: 0 <= i <= m and f = i! *) 
            fun iter(m,f,i) =
		if (i = m) then f
		else iter(m,f*(i+1),i+1);
	in
		iter(n,1,0)
	end;
fun perfect(n) =
	let
		fun addfactors(n) =
			let
				fun factor(i) = if (n mod i = 0) then i else 0;
				fun sum(f,i,j) =
					if (i > j) then 0
					else f(i) + sum(f,i+1,j)
			in
				sum(factor,1,n div 2)
			end
 
	in
		(n = addfactors(n))
	end;
 

Traceback (most recent call last):
  File "/usr/lib/python3.5/py_compile.py", line 125, in compile
    _optimize=optimize)
  File "<frozen importlib._bootstrap_external>", line 735, in source_to_code
  File "<frozen importlib._bootstrap>", line 222, in _call_with_frames_removed
  File "./prog.py", line 1
    fun fact(n) =
           ^
SyntaxError: invalid syntax

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "/usr/lib/python3.5/py_compile.py", line 129, in compile
    raise py_exc
py_compile.PyCompileError:   File "./prog.py", line 1
    fun fact(n) =
           ^
SyntaxError: invalid syntax

Standard output is empty