Sha256: 5f0aaa0ab1fdadf5b547f24cca6d56b4eecfa403368808d77e24ce893d3fbcfe

Contents?: true

Size: 317 Bytes

Versions: 1

Compression:

Stored size: 317 Bytes

Contents

w Ad.T_Io
 A.I_T_IO

cu I_Ac 
   u A.T_IO
   u A.I_T_I

   A, B : I
b
   G(A)
   G(B)
   Pu_L("+b = "  I'I(A + B))
   Pu_L("-b = "  I'I(A - B))
   Pu_L("*b = "  I'I(A * B))
   Pu_L("b = "  I'I(A  B))
   Pu_L("  b = "  I'I(A  B)) -- S c B
   Pu_L(" f b = "  I'I(A  B)) -- S c A
   Pu_L("**b = "  I'I(A ** B))  

 I_Ac

Version data entries

1 entries across 1 versions & 1 rubygems

Version Path
zettacode-0.1.0 zettacode.files/arithmetic.integer/ada.txt