glen
/
spoofax_prop
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
spoofax_prop/syntax/examples/sec4.2_test3.spl

2 lines
17 B
Plaintext
Raw Permalink Blame History

(r -> p & q) & p
Reference in New Issue View Git Blame Copy Permalink