Fix typos

app.py

@@ -184,12 +184,12 @@ st.dataframe(df)
 with col1:
     selected_language = st.selectbox(
         "Select a programming language",
-        ("Binder SQL", "Binder Python"),
+        ("Binder-SQL", "Binder-Python"),
     )
-if selected_language == 'Binder SQL':
+if selected_language == 'Binder-SQL':
     args.prompt_file = 'templates/prompts/prompt_wikitq_v3.txt'
     args.generate_type = 'nsql'
-elif selected_language == 'Binder Python':
+elif selected_language == 'Binder-Python':
     args.prompt_file = 'templates/prompts/prompt_wikitq_python_simplified_v4.txt'
     args.generate_type = 'npython'
 else:
@@ -216,13 +216,13 @@ with st.spinner("Generating Binder program to solve the question...will be finis
 
 # Do execution
 st.subheader("Binder program")
-if selected_language == 'Binder SQL':
+if selected_language == 'Binder-SQL':
     st.markdown('```sql\n' + binder_program + '\n```')
     # st.markdown('```' + binder_program + '```')
     # with st.container():
     #     st.write(binder_program)
     executor = NSQLExecutor(args, keys=keys)
-elif selected_language == 'Binder Python':
+elif selected_language == 'Binder-Python':
     st.code(binder_program, language='python')
     executor = NPythonExecutor(args, keys=keys)
     db = db.get_table_df()
@@ -233,7 +233,7 @@ try:
     os.makedirs('tmp_for_vis/', exist_ok=True)
     with st.spinner("Executing... will be finished in 30s, please refresh the page if not"):
         exec_answer = executor.nsql_exec(stamp, binder_program, db)
-    if selected_language == 'Binder SQL':
+    if selected_language == 'Binder-SQL':
         with open("tmp_for_vis/{}_tmp_for_vis_steps.txt".format(stamp), "r") as f:
             steps = json.load(f)
         for i, step in enumerate(steps):
@@ -258,7 +258,7 @@ try:
                 st.markdown('$\\rightarrow$')
                 if i == len(steps) - 1:
                     # The final step
-                    st.markdown("{} Interpreter".format(selected_language.replace("Binder ", "")))
+                    st.markdown("{} Interpreter".format(selected_language.replace("Binder-", "")))
                 else:
                     st.markdown("GPT3 Codex")
             with st.spinner('...'):
@@ -280,7 +280,7 @@ try:
                     st.markdown(result_in_this_step)
             with st.spinner('...'):
                 time.sleep(1)
-    elif selected_language == 'Binder Python':
+    elif selected_language == 'Binder-Python':
         pass
     if isinstance(exec_answer, list) and len(exec_answer) == 1:
         exec_answer = exec_answer[0]