Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/autotest/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/autotest/lambda4.in

% verification of standard fixed point construction

set(lambda).
set(binary_res).

list(usable).
x = x.
end_of_list.

list(sos).
ap(c,ap(lambda(x,ap(c,ap(x,x))), lambda(x,ap(c,ap(x,x))))) != ap(lambda(x,ap(c,ap(x,x))), lambda(x,ap(c,ap(x,x)))).
end_of_list.

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists