<commit_before>module Main

main : IO ()
main = putStrLn "Vindinium Starter Idris"<commit_msg>Parse args main.<commit_after>module Main

import System

main : IO ()
main = do
     args <- System.getArgs
     case args of
          [_, name] => do
              putStrLn name
          [self] => putStrLn "Usage: "
{'fraction_non_alphanumeric': 0.10223642172523961, 'fraction_numerical': 0.0, 'mean_word_length': 2.4505494505494507, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 5, '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': '172052', 'n_tokens_mistral': 104, 'n_tokens_neox': 101, 'n_words': 30}