Circle Star (โŸ)

December 10, 2022 ยท View on GitHub

View this file with results and syntax highlighting here.

Circle Star (โŸ)

๐”ฝโŸ๐”พ ๐•ฉ, ๐•จ ๐”ฝโŸ๐”พ ๐•ฉ: Repeat

โ†’full documentation

Apply ๐”พ to ๐•จ and ๐•ฉ, then apply ๐”ฝ to ๐•ฉ that many times. If ๐•จ is given, use it each time as a constant left argument.

If ๐”พ returns an array, give ๐”ฝโŸ๐•ฉ for each of its elements.

    1 +โŸโŠข 4

    1 +โŸ1โ€ฟ2โ€ฟ3 4

    3 โˆพโŸ{โ‰ ๐•ฉ} โŸจ4,5,6โŸฉ