modal/examples/test.modal

3 lines
43 B
Plaintext

<> (duppre ?x) (?x ?x)
what (duppre twice)