/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2020-10-24 12:13 +0100 27395 autos.scala
-rw-r--r-- 2020-10-24 12:13 +0100 9979 nfas.scala
-rw-r--r-- 2020-10-24 12:13 +0100 4573 positions.scala
-rw-r--r-- 2020-10-24 12:13 +0100 7385 re-basic.scala
-rw-r--r-- 2020-10-24 12:13 +0100 14519 re-bit.scala
-rw-r--r-- 2020-10-24 12:13 +0100 20637 re-bit2.scala
-rw-r--r-- 2020-10-24 12:13 +0100 11789 re-ext.scala
-rw-r--r-- 2020-10-24 12:13 +0100 10947 re-simp.scala
-rw-r--r-- 2020-10-24 12:13 +0100 18523 re.scala
-rw-r--r-- 2020-10-24 12:13 +0100 8226 tests.scala