Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
n-alex-goncalves committed Aug 1, 2023
1 parent 1ab4401 commit 8a090e3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
<a href = "https://n-alex-goncalves.github.io/TuringMachineLambdaCalculusIntepreter/">
<a href = "https://n-alex-goncalves.github.io/TuringMachineLambdaCalculusInterpreter/">
<img src="img/logo.PNG">
</a>

Website: https://n-alex-goncalves.github.io/TuringMachineLambdaCalculusIntepreter/
Website: https://n-alex-goncalves.github.io/TuringMachineLambdaCalculusInterpreter/

This is a web application that provides an interpreter for simulating and translating between the lambda calculus system and Turing machines. The application can translate in both directions, converting from the weak lambda calculus to the multi-tape Turing machine, or from the single-tape Turing machine to the weak lambda calculus.

Expand Down

0 comments on commit 8a090e3

Please sign in to comment.