add a bit of meta information to strategies
commitb1cca7cdc532b4176e5fec7f0972c80765bb4259
authorBertram Felgenhauer <int-e@gmx.de>
Thu, 8 May 2008 09:13:54 +0000 (8 11:13 +0200)
committerBertram Felgenhauer <int-e@gmx.de>
Thu, 8 May 2008 09:13:54 +0000 (8 11:13 +0200)
tree235f7dffa88dab896468dd54502aa1af75f03bf1
parent7a6b1ab2576710fcedec1ab29704462ff777a5d5
add a bit of meta information to strategies
src/Main.hs
src/Mine.hs
src/SimpleStrat.hs
src/Strat1.hs
src/Strategies.hs