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