...
Code Block |
---|
group otter; connective(app, phi) ::= <<(<phi; separator=app>)>> |
Giving app = "&" (though you can assign whatever you want), it delivers:
(P(a)&P(b))
...
...
Code Block |
---|
group otter; connective(app, phi) ::= <<(<phi; separator=app>)>> |
Giving app = "&" (though you can assign whatever you want), it delivers:
(P(a)&P(b))
...