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                                   , reverse`   [1 .. 5]                 == reverse   [1 .. 5]
  10                                   , takeWhile` ((<>) 0) [1,2,3,0,4,5,6] == takeWhile ((<>) 0) [1,2,3,0,4,5,6]
  11                                   , maxList`   [1 .. 5]                 == maxList   [1 .. 5]
  12                                   ]
  13
  14 sum`                    = ...
  15 prod`                   = ...
  16 flatten`                = ...
  17 length`                 = ...
  18 reverse`                = ...
  19 takeWhile`              = ...
  20 maxList`                = ...