/Attic/scala/
drwxr-xr-x [up]
-rw-r--r-- 2015-08-19 13:01 +0800 408 Application0.scala
-rw-r--r-- 2015-08-19 13:01 +0800 912 Application1.scala
-rw-r--r-- 2015-08-19 13:01 +0800 1058 Application2.scala
-rw-r--r-- 2015-08-19 13:01 +0800 1271 Application3.scala
-rw-r--r-- 2015-08-19 13:01 +0800 1220 Application4.scala
-rw-r--r-- 2015-08-19 13:01 +0800 181 app0.scala
-rw-r--r-- 2015-08-19 13:01 +0800 647 app1.scala
-rw-r--r-- 2015-08-19 13:01 +0800 824 app2.scala
-rw-r--r-- 2015-08-19 13:01 +0800 554 app3.scala
-rw-r--r-- 2015-08-19 13:01 +0800 586 app4.scala
-rw-r--r-- 2015-08-19 13:01 +0800 4942 prove.scala
-rw-r--r-- 2015-08-19 13:01 +0800 286 random.scala