files/practicum/Origami.icl

   1 module Origami
   2
   3 import StdEnv
   4
   5 Start                   = and
   6                                   [ sum`       [1 .. 5]                 == sum       [1 .. 5]
   7                                   , prod`      [1 .. 5]                 == prod      [1 .. 5]
   8                                   , flatten`   [[],[1],[1,2],[1,2,3]]   == flatten   [[],[1],[1,2],[1,2,3]]
   9                                   , length`    [1 .. 5]                 == length    [1 .. 5]
  10                                   , reverse`   [1 .. 5]                 == reverse   [1 .. 5]
  11                                   , filter`    isEven [1 .. 100]        == filter    isEven [1 .. 100]
  12                                   , takeWhile` ((<>) 0) [1,2,3,0,4,5,6] == takeWhile ((<>) 0) [1,2,3,0,4,5,6]
  13                                   , maxList`   [1 .. 5]                 == maxList   [1 .. 5]
  14                                   ]
  15
  16 sum`         xs = ...
  17 prod`        xs = ...
  18 flatten`     xs = ...
  19 length`      xs = ...
  20 reverse`     xs = ...
  21 filter`    p xs = ...
  22 takeWhile` p xs = ...
  23 maxList`     xs = ...