search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

adjust wording as discussed in #56 #64

Closed adl closed 7 years ago

adl commented 7 years ago

This should fix #56.