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

-Fixed references in READEME

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