<commit_before>export IDRISJS_OPTIM=$1
export IDRISJS_DEBUG=$2
idris --codegen javascript -p effects -p js ex0.idr -o ex0.js
idris --codegen javascript -p effects -p js ex1.idr -o ex1.js
idris --codegen javascript -p effects -p js todo.idr -o todo.js<commit_msg>fixed sh to compile all examples<commit_after>export IDRISJS_OPTIM=$1
export IDRISJS_DEBUG=$2
idris --codegen javascript -p contrib -p js ex0.idr -o ex0.html
idris --codegen javascript -p contrib -p js ex1.idr -o ex1.html
idris --codegen javascript -p contrib -p js todo.idr -o todo.html
{'fraction_non_alphanumeric': 0.10200364298724955, 'fraction_numerical': 0.02185792349726776, 'mean_word_length': 3.824561403508772, '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': '3911611', 'n_tokens_mistral': 211, 'n_tokens_neox': 201, 'n_words': 72}