Skip to content
Snippets Groups Projects
Commit 3c31d61d authored by Antonio MATTAR's avatar Antonio MATTAR
Browse files

fixed a typo

parent 4e40d5a5
No related branches found
No related tags found
No related merge requests found
......@@ -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)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment