/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2019-09-18 16:35 +0100 27395 autos.scala
-rw-r--r-- 2019-09-18 16:35 +0100 9979 nfas.scala
-rw-r--r-- 2019-09-18 16:35 +0100 4573 positions.scala
-rw-r--r-- 2019-09-18 16:35 +0100 6610 re-basic.scala
-rw-r--r-- 2019-09-18 16:35 +0100 14467 re-bit.scala
-rw-r--r-- 2019-09-18 16:35 +0100 11789 re-ext.scala
-rw-r--r-- 2019-09-18 16:35 +0100 10947 re-simp.scala
-rw-r--r-- 2019-09-18 16:35 +0100 18523 re.scala
-rw-r--r-- 2019-09-18 16:35 +0100 8226 tests.scala