/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2019-02-01 14:31 +0000 27395 autos.scala
-rw-r--r-- 2019-02-01 14:31 +0000 9979 nfas.scala
-rw-r--r-- 2019-02-01 14:31 +0000 4573 positions.scala
-rw-r--r-- 2019-02-01 14:31 +0000 6610 re-basic.scala
-rw-r--r-- 2019-02-01 14:31 +0000 14467 re-bit.scala
-rw-r--r-- 2019-02-01 14:31 +0000 11789 re-ext.scala
-rw-r--r-- 2019-02-01 14:31 +0000 10947 re-simp.scala
-rw-r--r-- 2019-02-01 14:31 +0000 18522 re.scala
-rw-r--r-- 2019-02-01 14:31 +0000 8160 tests.scala