From 8a090e3635e6a0b8eee35a53712ebd7080bd8e22 Mon Sep 17 00:00:00 2001 From: Nuno Alexandre Goncalves Date: Tue, 1 Aug 2023 14:14:23 +0100 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6ca2630..28156d1 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,8 @@ - + -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.