/prog/BOL 2012
Name:
Anonymous
2012-01-22 12:03
identity is of type for all types A, A to A.
define function identity of x:
return x.
end.
constant is of type for all types A and B, A to B to A.
define function constant of x of y:
return x.
end.
define factorial of type int to int of n:
if n equals 0, then: return 1.
else: return n times factorial of (n minus 1).
end.
Name:
Anonymous
2012-01-25 6:06
JJJJJJJJJJJEEEEEEEEEEEEEEEEEEEEEEWWWWWWWW WWWWWWWW SSSSSSSSSSSSSSS
J:::::::::JE::::::::::::::::::::EW::::::W W::::::W SS:::::::::::::::S
J:::::::::JE::::::::::::::::::::EW::::::W W::::::WS:::::SSSSSS::::::S
JJ:::::::JJEE::::::EEEEEEEEE::::EW::::::W W::::::WS:::::S SSSSSSS
J:::::J E:::::E EEEEEE W:::::W WWWWW W:::::W S:::::S
J:::::J E:::::E W:::::W W:::::W W:::::W S:::::S
J:::::J E::::::EEEEEEEEEE W:::::W W:::::::W W:::::W S::::SSSS
J:::::j E:::::::::::::::E W:::::W W:::::::::W W:::::W SS::::::SSSSS
J:::::J E:::::::::::::::E W:::::W W:::::W:::::W W:::::W SSS::::::::SS
JJJJJJJ J:::::J E::::::EEEEEEEEEE W:::::W W:::::W W:::::W W:::::W SSSSSS::::S
J:::::J J:::::J E:::::E W:::::W:::::W W:::::W:::::W S:::::S
J::::::J J::::::J E:::::E EEEEEE W:::::::::W W:::::::::W S:::::S
J:::::::JJJ:::::::J EE::::::EEEEEEEE:::::E W:::::::W W:::::::W SSSSSSS S:::::S
JJ:::::::::::::JJ E::::::::::::::::::::E W:::::W W:::::W S::::::SSSSSS:::::S
JJ:::::::::JJ E::::::::::::::::::::E W:::W W:::W S:::::::::::::::SS
JJJJJJJJJ EEEEEEEEEEEEEEEEEEEEEE WWW WWW SSSSSSSSSSSSSSS
Name:
Anonymous
2012-01-25 6:17
JJJJJJJJJJJEEEEEEEEEEEEEEEEEEEEEEWWWWWWWW WWWWWWWW SSSSSSSSSSSSSSS
J:::::::::JE::::::::::::::::::::EW::::::W W::::::W SS:::::::::::::::S
J:::::::::JE::::::::::::::::::::EW::::::W W::::::WS:::::SSSSSS::::::S
JJ:::::::JJEE::::::EEEEEEEEE::::EW::::::W W::::::WS:::::S SSSSSSS
J:::::J E:::::E EEEEEE W:::::W WWWWW W:::::W S:::::S
J:::::J E:::::E W:::::W W:::::W W:::::W S:::::S
J:::::J E::::::EEEEEEEEEE W:::::W W:::::::W W:::::W S::::SSSS
J:::::j E:::::::::::::::E W:::::W W:::::::::W W:::::W SS::::::SSSSS
J:::::J E:::::::::::::::E W:::::W W:::::W:::::W W:::::W SSS::::::::SS
JJJJJJJ J:::::J E::::::EEEEEEEEEE W:::::W W:::::W W:::::W W:::::W SSSSSS::::S
J:::::J J:::::J E:::::E W:::::W:::::W W:::::W:::::W S:::::S
J::::::J J::::::J E:::::E EEEEEE W:::::::::W W:::::::::W S:::::S
J:::::::JJJ:::::::J EE::::::EEEEEEEE:::::E W:::::::W W:::::::W SSSSSSS S:::::S
JJ:::::::::::::JJ E::::::::::::::::::::E W:::::W W:::::W S::::::SSSSSS:::::S
JJ:::::::::JJ E::::::::::::::::::::E W:::W W:::W S:::::::::::::::SS
JJJJJJJJJ EEEEEEEEEEEEEEEEEEEEEE WWW WWW SSSSSSSSSSSSSSS
Name:
Anonymous
2012-01-25 6:17
JJJJJJJJJJJEEEEEEEEEEEEEEEEEEEEEEWWWWWWWW WWWWWWWW SSSSSSSSSSSSSSS
J:::::::::JE::::::::::::::::::::EW::::::W W::::::W SS:::::::::::::::S
J:::::::::JE::::::::::::::::::::EW::::::W W::::::WS:::::SSSSSS::::::S
JJ:::::::JJEE::::::EEEEEEEEE::::EW::::::W W::::::WS:::::S SSSSSSS
J:::::J E:::::E EEEEEE W:::::W WWWWW W:::::W S:::::S
J:::::J E:::::E W:::::W W:::::W W:::::W S:::::S
J:::::J E::::::EEEEEEEEEE W:::::W W:::::::W W:::::W S::::SSSS
J:::::j E:::::::::::::::E W:::::W W:::::::::W W:::::W SS::::::SSSSS
J:::::J E:::::::::::::::E W:::::W W:::::W:::::W W:::::W SSS::::::::SS
JJJJJJJ J:::::J E::::::EEEEEEEEEE W:::::W W:::::W W:::::W W:::::W SSSSSS::::S
J:::::J J:::::J E:::::E W:::::W:::::W W:::::W:::::W S:::::S
J::::::J J::::::J E:::::E EEEEEE W:::::::::W W:::::::::W S:::::S
J:::::::JJJ:::::::J EE::::::EEEEEEEE:::::E W:::::::W W:::::::W SSSSSSS S:::::S
JJ:::::::::::::JJ E::::::::::::::::::::E W:::::W W:::::W S::::::SSSSSS:::::S
JJ:::::::::JJ E::::::::::::::::::::E W:::W W:::W S:::::::::::::::SS
JJJJJJJJJ EEEEEEEEEEEEEEEEEEEEEE WWW WWW SSSSSSSSSSSSSSS
Name:
Anonymous
2012-01-25 6:17
JJJJJJJJJJJEEEEEEEEEEEEEEEEEEEEEEWWWWWWWW WWWWWWWW SSSSSSSSSSSSSSS
J:::::::::JE::::::::::::::::::::EW::::::W W::::::W SS:::::::::::::::S
J:::::::::JE::::::::::::::::::::EW::::::W W::::::WS:::::SSSSSS::::::S
JJ:::::::JJEE::::::EEEEEEEEE::::EW::::::W W::::::WS:::::S SSSSSSS
J:::::J E:::::E EEEEEE W:::::W WWWWW W:::::W S:::::S
J:::::J E:::::E W:::::W W:::::W W:::::W S:::::S
J:::::J E::::::EEEEEEEEEE W:::::W W:::::::W W:::::W S::::SSSS
J:::::j E:::::::::::::::E W:::::W W:::::::::W W:::::W SS::::::SSSSS
J:::::J E:::::::::::::::E W:::::W W:::::W:::::W W:::::W SSS::::::::SS
JJJJJJJ J:::::J E::::::EEEEEEEEEE W:::::W W:::::W W:::::W W:::::W SSSSSS::::S
J:::::J J:::::J E:::::E W:::::W:::::W W:::::W:::::W S:::::S
J::::::J J::::::J E:::::E EEEEEE W:::::::::W W:::::::::W S:::::S
J:::::::JJJ:::::::J EE::::::EEEEEEEE:::::E W:::::::W W:::::::W SSSSSSS S:::::S
JJ:::::::::::::JJ E::::::::::::::::::::E W:::::W W:::::W S::::::SSSSSS:::::S
JJ:::::::::JJ E::::::::::::::::::::E W:::W W:::W S:::::::::::::::SS
JJJJJJJJJ EEEEEEEEEEEEEEEEEEEEEE WWW WWW SSSSSSSSSSSSSSS
Name:
Anonymous
2012-01-25 6:17
JJJJJJJJJJJEEEEEEEEEEEEEEEEEEEEEEWWWWWWWW WWWWWWWW SSSSSSSSSSSSSSS
J:::::::::JE::::::::::::::::::::EW::::::W W::::::W SS:::::::::::::::S
J:::::::::JE::::::::::::::::::::EW::::::W W::::::WS:::::SSSSSS::::::S
JJ:::::::JJEE::::::EEEEEEEEE::::EW::::::W W::::::WS:::::S SSSSSSS
J:::::J E:::::E EEEEEE W:::::W WWWWW W:::::W S:::::S
J:::::J E:::::E W:::::W W:::::W W:::::W S:::::S
J:::::J E::::::EEEEEEEEEE W:::::W W:::::::W W:::::W S::::SSSS
J:::::j E:::::::::::::::E W:::::W W:::::::::W W:::::W SS::::::SSSSS
J:::::J E:::::::::::::::E W:::::W W:::::W:::::W W:::::W SSS::::::::SS
JJJJJJJ J:::::J E::::::EEEEEEEEEE W:::::W W:::::W W:::::W W:::::W SSSSSS::::S
J:::::J J:::::J E:::::E W:::::W:::::W W:::::W:::::W S:::::S
J::::::J J::::::J E:::::E EEEEEE W:::::::::W W:::::::::W S:::::S
J:::::::JJJ:::::::J EE::::::EEEEEEEE:::::E W:::::::W W:::::::W SSSSSSS S:::::S
JJ:::::::::::::JJ E::::::::::::::::::::E W:::::W W:::::W S::::::SSSSSS:::::S
JJ:::::::::JJ E::::::::::::::::::::E W:::W W:::W S:::::::::::::::SS
JJJJJJJJJ EEEEEEEEEEEEEEEEEEEEEE WWW WWW SSSSSSSSSSSSSSS
Newer Posts