progs/automata.scala
changeset 535 095be64c03c1
parent 93 4794759139ea