/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2022-11-17 23:13 +0000 27395 autos.scala
-rw-r--r-- 2022-11-17 23:13 +0000 9979 nfas.scala
-rw-r--r-- 2022-11-17 23:13 +0000 4573 positions.scala
-rw-r--r-- 2022-11-17 23:13 +0000 12849 re-annotated.sc
-rw-r--r-- 2022-11-17 23:13 +0000 10903 re-annotated2.sc
-rw-r--r-- 2022-11-17 23:13 +0000 7385 re-basic.scala
-rw-r--r-- 2022-11-17 23:13 +0000 14519 re-bit.scala
-rw-r--r-- 2022-11-17 23:13 +0000 24005 re-bit2.scala
-rw-r--r-- 2022-11-17 23:13 +0000 11789 re-ext.scala
-rw-r--r-- 2022-11-17 23:13 +0000 10947 re-simp.scala
-rw-r--r-- 2022-11-17 23:13 +0000 18523 re.scala
-rw-r--r-- 2022-11-17 23:13 +0000 8226 tests.scala