From d0efebc88838b084c6f22554773cd141929aac05 Mon Sep 17 00:00:00 2001 From: Antonio MATTAR <antonio.mattar@etu.univ-amu.fr> Date: Fri, 1 Jul 2022 12:46:34 +0200 Subject: [PATCH] . --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8822edb..ec52b9b 100644 --- a/README.md +++ b/README.md @@ -51,8 +51,8 @@ EXAMPLES:<br /> `λf.(λx.(f(x x)))λx.(f(x x)) ---> #f.(#x.(#f.(x x)))c#f.(#x.(#f.(x x)))` ## Documentation <a name="docu"></a> -<a href='https://en.wikipedia.org/wiki/Lambda_calculus'>WikiPedia: Lambda Calculus<a> -<a href='https://brilliant.org/wiki/lambda-calculus/'>Brilliant: Lambda Calculus<a> +<a href='https://en.wikipedia.org/wiki/Lambda_calculus'>WikiPedia: Lambda Calculus<a> <br> +<a href='https://brilliant.org/wiki/lambda-calculus/'>Brilliant: Lambda Calculus<a> <br> <a href='https://mpsib-camille-guerin.pagesperso-orange.fr/Python/Lambda/Lambda2/Lambda2.pdf'>MPSIB-CAMILLE-GUERIN: Lambda Calculus<a> *** -- GitLab