remove useless options

app.py

@@ -38,7 +38,7 @@ def sendcommand(function,args):
     process = subprocess.run(["ghc", "Challenges.hs", "-e", f'{function} {args}' ], check=True, capture_output=True)
     return process.stdout.decode(sys.stdout.encoding).strip()
 
-commandint = gr.Interface(fn=sendcommand, inputs=['text','text'], outputs='text', description="sends a function call to Challenges.hs")
+commandint = gr.Interface(fn=sendcommand, inputs=['text','text'], outputs='text', description="sends a function call to Challenges.hs (will not work on huggingface)")
 
 def runtests():
     output = subprocess.run(["runghc", "../Tests.hs"],check=True,capture_output=True).stderr.decode(sys.stdout.encoding).strip()
@@ -46,7 +46,7 @@ def runtests():
         return "All tests passed"
     return output
     
-testint = gr.Interface(fn=runtests, inputs=None, outputs='text', description="runs automated tests from Tests.hs")
+testint = gr.Interface(fn=runtests, inputs=None, outputs='text', description="runs automated tests from Tests.hs (will not work on huggingface)")
 
-demo = gr.TabbedInterface([showpuzzint,genint,shufint,commandint,testint],["visualise","generate","shuffle","run","test"],title="comp2209 Tools")
+demo = gr.TabbedInterface([showpuzzint,genint,shufint],["visualise","generate","shuffle"],title="comp2209 Tools")
 demo.launch()