@fraczak/k 1.2.0 → 1.2.2

package/Examples/pow.k

@@ -1,7 +0,0 @@
-
-pow = 
-  < [(), 0] EQ 1,
-    [[(), -1] PLUS pow, ()] TIMES
-  >;
-
-pow

package/Examples/rec-code.k

@@ -1,80 +0,0 @@
-$ t = < { t l, int v, t r } t, {} _ >;
-
-t = 
-$ {t l, int v, t r} 
-  {() t} 
-$ t
-;
-
-empty = {{} _} $t;
-
-leave = 
-$ int 
-  { empty l, 
-    () v, 
-    empty r 
-  } t 
-$ t
-; 
-
-sort = 
-$ [ int ]
-  <
-    SNOC { .0 x, .1 sort t } insert,
-    { empty l, .0 v, empty r } t,
-    empty
-  >
-$ t
-;
-
-insert = 
-$ { int x, t t } 
-  <
-    [.t._ , .x leave ] .1,
-    [[.x, .t.t.v] GT .0, .t.t]
-        { 
-            .1.l l,
-            .1.v v,
-            {.0 x, .1.r t} insert r  
-        } t,
-    { 
-        {.x x, .t.t.l t} insert l,  
-        .t.t.v v,
-        .t.t.r r  
-    } t
-  >
-$ t
-;
-
-inc = $int [(),1] PLUS $int;
-len = 
- < SNOC .1 len inc,
-   .0 1,
-   0
- >
-;
-
-concat = 
-$ [ [ int ] ] 
-  < 
-    SNOC 
-      < [.0 SNOC, .1] [.0.0, [.0.1, .1] CONS concat ] CONS,
-        [.0.0, .1 concat] CONS,
-        .1 concat
-      >,
-    .0,
-    []
-  >
-$ [ int ]
-; 
-
-toVector = 
-$ t 
-  < ._ [],
-    .t [.l toVector, [.v], .r toVector] concat
-  >
-$ [ int ] 
-;
-
-[len, sort toVector]
-

package/Examples/test.k

@@ -1,13 +0,0 @@
- ---------  comments start by #, --, or // ----------------------------------
-<                          -- merge of 4 partial functions...
-  ["x=", .x, " & y=", .y], -- produces a vector of 4 values, if fields 'x' and 'y' are present
-  ["only x=", .x],         -- produces a pair '["only x=", "value-of-x"]', for input like {"x":"value-of-x"}
-							             -- it is defined only if field 'x' is present
-  ["only y=", .y],
-  ["no x nor y"]           -- defined for all input, returns always the same one element vector
-> 
--- one of the string vectors is passed to the following partial function, 
--- which produces a record (map) with one field "x&y", whose value is the
--- result of concatenating elements of the passed in vector
-{ CONCAT "x&y" } 
-------------------------------------------------------------------------------

package/Examples/typed-fib.k

@@ -1,19 +0,0 @@
-inc = [(),1] PLUS;
-fib2 =
-$ { int target, int x, int "fib(x)", int "fib(x-1)" }
-  _log!
-  <
-    {[.target,.x]GT.0 target ,
-     .x inc x ,
-     [."fib(x)",."fib(x-1)"]PLUS "fib(x)" ,
-     ."fib(x)" "fib(x-1)" }
-    fib2,
-    
-    {[.target,.x] EQ, ."fib(x)" result}
-    .result
-  >
-$ int;
-
-{() target, 0 x, 1 "fib(x)", 0 "fib(x-1)"} fib2
- 
-