From b4954c0b34c7b041ee49daa9dd046f589d45c58b Mon Sep 17 00:00:00 2001 From: Antonio MATTAR <antonio.mattar@etu.univ-amu.fr> Date: Mon, 4 Jul 2022 11:57:53 +0200 Subject: [PATCH] -Fixed references in READEME --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 6be2566..696509e 100644 --- a/README.md +++ b/README.md @@ -51,9 +51,9 @@ 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> <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> +<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> *** @@ -63,8 +63,8 @@ Authors:<br> <a href="mailto:aiteldjouditamazouzt@gmail.com">Tamazouzt AIT ELDJOUDI</a> Under the supervision of:<br> -<a href="mailto:">Dr. Benjamin MONMEGE</a> -<a href="mailto:">Julie PARREAUX</a> +<a href="https://pageperso.lis-lab.fr/~benjamin.monmege">Benjamin MONMEGE</a> +<a href="http://perso.eleves.ens-rennes.fr/people/julie.parreaux/index.html">Julie PARREAUX</a> ## License -- GitLab