From 3c31d61d1960c25a025fe6dfaee88dea4c45aa84 Mon Sep 17 00:00:00 2001
From: Antonio MATTAR <antonio.mattar@etu.univ-amu.fr>
Date: Fri, 24 Jun 2022 13:43:43 +0200
Subject: [PATCH] fixed a typo
---
app_functions.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app_functions.py b/app_functions.py
index 9e88513..32a4557 100644
--- a/app_functions.py
+++ b/app_functions.py
@@ -46,7 +46,7 @@ def getSecondFromPair(p):
def dec_to_lambda_relative_integers(number):
if number >= 0:
return pair(TRUE,dec_to_church(number))
- return pair(FALSE[False], dec_to_church(number))
+ return pair(FALSE, dec_to_church(number))
# def succ(n):#done
# return beta_reduction_totale(new_app(SUCCS,n),None,False)
--
GitLab