anchor.diff:                runner  = consoleRunner } 
            
   let verbose = 
  -    { quick with every = fun n args -> any_to_string n + ":\n" + (List.fold_left (fun b a -> a + "\n" + b) "" args)  }
  +    { quick with every = fun n args -> any_to_string n + ":\n" + (args |> List.fold_left (fun b a -> any_to_string a + "\n" + b) "")  }
   
   let quickCheck p = p |> check quick
   let verboseCheck p = p |> check verbose
  
positive.code: type TestData = { NumberOfTests: int; Stamps: seq<int * list<string>>}
  type TestResult = 
      | True of TestData
      | False of TestData * list<string> //the arguments that produced the failed test
      | Exhausted of TestData
  type IRunner =
      abstract member OnArguments: int * list<string> * (int -> list<string> -> string) -> unit
      abstract member OnFinished: string * TestResult -> unit
  
  type Config = 
  
negative.code:         Array.zip (a.GetGenericArguments()) (f.GetGenericArguments())
          |> Array.iter (fun (act,form) -> resolve act form acc)
  
  
  //for invoking functions: http://cs.hubfs.net/forums/thread/7820.aspx
  let invokeMethod (m:MethodInfo) args =
      let m = if m.ContainsGenericParameters then
                  let typeMap = new Dictionary<_,_>()
  