From c1cb1d8a149adbd4bc31446f3e7238a9a8d01bc3 Mon Sep 17 00:00:00 2001 From: Nuno Alexandre Goncalves Date: Sun, 2 Jul 2023 14:07:35 +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 e6a9c9c..294005c 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,8 @@ - + -Website: https://n-alex-goncalves.github.io/Turing-Machine-Lambda-Calculus-Interpreter/ +Website: https://n-alex-goncalves.github.io/Turing-Machine-Lambda-Calculus-Intepreter/ 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.