modal/examples/string_reverse.modal

7 lines
204 B
Plaintext
Raw Normal View History

2024-04-15 19:26:25 -04:00
?(?-) (This example reverses the string modal, into ladom.)
2024-04-15 17:59:48 -04:00
2024-04-15 17:32:55 -04:00
<> (reverse List () ?*) (?*)
<> (reverse (?*)) (reverse List (?*) ())
<> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z))
(reverse (modal))