diff options
| author | Marvin Borner | 2022-08-29 16:45:45 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-29 16:45:45 +0200 |
| commit | 627afd9bb206765699f3420a6ab0847e636550b4 (patch) | |
| tree | 0cc5c458bb68348ad25aa8c69f6b7ce3d36b6f35 /std/Math.bruijn | |
| parent | 2cc4d5bb3c473bd1bb5dc87f58feacb6772a22fe (diff) | |
Started mixfix chaining
Diffstat (limited to 'std/Math.bruijn')
| -rw-r--r-- | std/Math.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Math.bruijn b/std/Math.bruijn index 47b0267..db97d3c 100644 --- a/std/Math.bruijn +++ b/std/Math.bruijn @@ -17,13 +17,13 @@ gcd z [[[(1 =? 0) case-eq ((1 >? 0) case-gre case-les)]]] # power function pow [(!!) (iterate ((*) 0) (+1))] -(**) pow +…**… pow :test (((+2) ** (+3)) =? ((+8))) (true) # factorial function # fac Z [[(0 <? (+2)) (+1) (0 * (1 --0))]] -fac [Π (take 0 (iterate ++( (+1)))] +fac [Π (take 0 (iterate ++‣ (+1)))] :test ((fac (+3)) =? (+6)) (true) |