haskell-te: 74c6e28c4789fc90226b64240ba142af6cb30789

     1: From: Chris Warburton
     2: Date: Fri, 28 Jul 2017 13:44:05 +0100
     3: State: resolved
     4: Subject: brief description
     5: Message-Id: <aa1e06bb5811c27f-0-artemis@nixos>
     6: resolution: fixed
     7: 
     8: I've removed the Ord constraint in getArbGen, and now we're getting
     9: generators for functions like `Integer -> Integer` :)
    10: 
    11: Next thing to check is that we can still explore given theories and
    12: sampled theories with quickspec, hashspec and mlspec.