Blob Blame History Raw
# the project file for the grammar "choose_count"

sym: formal.sym
all: formal.all
lex: formal.lex
mor: choose_count.mor

info: A formal grammar that recognises words of the form
info: a^m b^n c^m | a^m b^n c^n

# end of file =================================================================