--- a/progs/scala/autos.scala Fri Jan 12 02:33:35 2018 +0000
+++ b/progs/scala/autos.scala Tue May 15 10:24:25 2018 +0100
@@ -383,7 +383,7 @@
*/
-// Regular expressions fro derivative automata
+// Regular expressions for derivative automata
abstract class Rexp
case object ZERO extends Rexp