add file headers
[hs-pgms.git] / src / 
tree78659f4b2189e866564938610a6bebf4f42ac39c
drwxr-xr-x   ..
-rw-r--r-- 6925 GUI.hs
drwxr-xr-x - GUI
-rw-r--r-- 6619 Main.hs
-rw-r--r-- 6446 Mine.hs
-rw-r--r-- 1825 SimpleStrat.hs
-rw-r--r-- 1691 Strat1.hs
-rw-r--r-- 440 Strategies.hs
-rw-r--r-- 1260 Util.hs