forked from andkok/MWS_2021
5 lines
54 B
Plaintext
5 lines
54 B
Plaintext
|
#ignore + -
|
||
|
|
#axiom
|
||
|
|
F[-[A]-C]B
|
||
|
|
#rules
|
||
|
|
F > [A][C]B -> FF
|