mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
10 lines
307 B
Plaintext
10 lines
307 B
Plaintext
(StrInc (len, buf)) = (len, #str λx (StrGo len #str (buf x)))
|
|
|
|
(StrGo 0 (head, tail)) = (head, tail)
|
|
(StrGo x (head, tail)) = ((+ 1 head), (StrGo (- x 1) tail))
|
|
|
|
# Old str encoding
|
|
Hello = (11, #str λx (104, (101, (108, (108, (111, (32, (119, (111, (114, (108, (100, x))))))))))))
|
|
|
|
main = (StrInc Hello)
|