/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2019-03-13 10:36 +0000 27395 autos.scala
-rw-r--r-- 2019-03-13 10:36 +0000 9979 nfas.scala
-rw-r--r-- 2019-03-13 10:36 +0000 4573 positions.scala
-rw-r--r-- 2019-03-13 10:36 +0000 6610 re-basic.scala
-rw-r--r-- 2019-03-13 10:36 +0000 14467 re-bit.scala
-rw-r--r-- 2019-03-13 10:36 +0000 11789 re-ext.scala
-rw-r--r-- 2019-03-13 10:36 +0000 10947 re-simp.scala
-rw-r--r-- 2019-03-13 10:36 +0000 18523 re.scala
-rw-r--r-- 2019-03-13 10:36 +0000 8226 tests.scala