modal/examples/test.modal

3 lines
76 B
Plaintext

<> ((eval ?x)) (?x)
(eval (<> (join (?x) (?y)) (?x ?y))) (join (foo) (bar))