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

.

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