progs/automata/der.sc
2020-10-19 Christian Urban updated
less more (0) tip