modal/examples/test.modal

5 lines
53 B
Plaintext

<> (?x dup) (?x ?x)
<> (?x ?y swap) (?y ?x)
A B dup