<commit_before>import Speculate
import Test.LeanCheck ((==>))

main :: IO ()
main = speculate args
  { atoms =
      [ s False
      , s True
      , not   -| "not"
    --, (&&)  -| "&&"
    --, (||)  -| "||"

      , s (0::Int)
      , s (1::Int)
      , (+)  -:> int -| "+"
      , (<=) -:> int -| "<="
      , (<)  -:> int -| "<"
      , (==) -:> int -| "=="
      , abs  -:> int -| "abs"
      ]
  }<commit_msg>eg/numbool: use new interface<commit_after>import Speculate
import Test.LeanCheck ((==>))

main :: IO ()
main = speculate args
  { atoms =
      [ showConstant False
      , showConstant True
      , constant "not" not
    --, constant "&&"  (&&)
    --, constant "||"  (||)

      , showConstant (0::Int)
      , showConstant (1::Int)
      , constant "+"   $ (+)  -:> int
      , constant "<="  $ (<=) -:> int
      , constant "<"   $ (<)  -:> int
      , constant "=="  $ (==) -:> int
      , constant "abs" $ abs  -:> int
      ]
  }
{'fraction_non_alphanumeric': 0.24894957983193278, 'fraction_numerical': 0.004201680672268907, 'mean_word_length': 1.6620111731843576, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 15, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1144549', 'n_tokens_mistral': 374, 'n_tokens_neox': 365, 'n_words': 65}