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

2 lines
17 B
Plaintext
Raw Permalink Blame History

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