diff -r e66bd5c563eb -r b5b5583a3a08 progs/rev.scala
--- a/progs/rev.scala	Mon Jul 27 11:02:48 2020 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-def rev(r: Rexp) : Rexp = r match {
-  case ZERO => ZERO
-  case ONE => ONE
-  case CHAR(c) => CHAR(c)
-  case ALT(r1, r2) => ALT(rev(r1), rev(r2))
-  case SEQ(r1, r2) => SEQ(rev(r2), rev(r1))
-  case STAR(r) => STAR(rev(r))
-}