modal/examples/test.modal

3 lines
44 B
Plaintext

<> ((?x -> ?y)) (<> ?x ?y)
(foo -> bar) foo