search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

cleaner parity acceptance #47

Closed adl closed 9 years ago

adl commented 9 years ago

Here is my take on implementing #46.

The first patch is more related to #44 (defining "canonical acceptance" explaining that it is strict, and moving the "non canonical examples" to another section).

kleinj commented 9 years ago

Thanks, Alexandre. I'll probably have the time to proofread this evening.

kleinj commented 9 years ago

I've read the proposed changes and am fine with them.

There is one broken sentence remaining: "this however does fit our strict..." Should probably be "not fit"?

adl commented 9 years ago

Fixes #46.