<commit_before>structure Main =
struct
  datatype mode =
      CHECK_DEVELOPMENT
    | PRINT_DEVELOPMENT
    | LIST_OPERATORS
    | LIST_TACTICS

  val listOfTactics =
    ["intro", "elim", "eq-cd", "ext", "symmetry",
     "creflexivty", "csymmetry", "step", "cstruct",
     "assumption", "assert", "mem-cd", "auto", "reduce",
     "lemma", "unfold", "refine", "witness", "hypothesis",
     "hyp-subst", "id", "fail", "trace", "cum"]

  local
    fun go [] = PRINT_DEVELOPMENT
      | go ("--check" :: _) = CHECK_DEVELOPMENT
      | go ("--list-operators" :: _) = LIST_OPERATORS
      | go ("--list-tactics" :: _) = LIST_TACTICS
      | go (_ :: xs) = go xs
  in
    fun getMode args = go args
  end

  fun main (_, args) =
    let<commit_msg>Add cut-lemma to tactics list<commit_after>structure Main =
struct
  datatype mode =
      CHECK_DEVELOPMENT
    | PRINT_DEVELOPMENT
    | LIST_OPERATORS
    | LIST_TACTICS

  val listOfTactics =
    ["intro", "elim", "eq-cd", "ext", "symmetry",
     "creflexivty", "csymmetry", "step", "cstruct",
     "assumption", "assert", "mem-cd", "auto", "reduce",
     "lemma", "cut-lemma", "unfold", "refine", "witness", "hypothesis",
     "hyp-subst", "id", "fail", "trace", "cum"]

  local
    fun go [] = PRINT_DEVELOPMENT
      | go ("--check" :: _) = CHECK_DEVELOPMENT
      | go ("--list-operators" :: _) = LIST_OPERATORS
      | go ("--list-tactics" :: _) = LIST_TACTICS
      | go (_ :: xs) = go xs
  in
    fun getMode args = go args
  end

  fun main (_, args) =
    let
{'fraction_non_alphanumeric': 0.17623762376237623, 'fraction_numerical': 0.0, 'mean_word_length': 2.8477157360406093, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '4572829', 'n_tokens_mistral': 604, 'n_tokens_neox': 573, 'n_words': 130}