Skip to content
Snippets Groups Projects
Commit 9ff64882 authored by Antonio MATTAR's avatar Antonio MATTAR
Browse files
parents be76f1d7 5890c3d1
No related branches found
No related tags found
No related merge requests found
......@@ -76,3 +76,10 @@ def sub(n,m):
#print(to_string(beta_reduction_totale(new_app(new_app(XOR,TRUE),FALSE),None,False)))
#print(to_string(dec_to_lambda_relative_integers(5)))
# ajouter les etoiles sur les alligators qui Maangent
# ajoter les sauvegardes
# ajouter le predec ....
# terme qui termine pas
#probleme de l arret
......@@ -333,7 +333,7 @@ def run_arithmetic_operations_menu(path='arithmetic expressions'):
elif choice == 2:
clear()
print("Voici le terme: "+ logic.to_string(app_functions.SUB))
logic.captureImage(app_functions.SUB,path+'/SUB','SUB', False)
logic.captureImage(app_functions.SUB,path,'SUB', False)
choix=(input("do you want to try an exemple? (y/n) : "))
while choix not in ['y','n']:
choix = input('Invalid choice. Do you want to try an exemple? (y/n): ')
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment