... --unknown, Sat, 11 Jun 2005 09:57:11 -0500 reply axiom f(n)== local length length:=#((2^n)::String) if length>120 then "Too long!" else length Type: Void axiom f 100 axiom Compiling function f with type PositiveInteger -> Any
Type: NonNegativeInteger axiom f 1000
Type: String axiom f(n) == (local length; length := #((2^n)::String); if length>120 then "Too long!" else length) Type: Void axiom f 100 axiom Compiling function f with type PositiveInteger -> Any
Type: NonNegativeInteger axiom f 1000
Type: String |