From: MetMattone <115347319+MetMattone@users.noreply.github.com>
Date: Tue, 9 Jan 2024 18:05:41 +0000 (+0100)
Subject: Update README.org
X-Git-Url: http://git.leonardobizzoni.com/?a=commitdiff_plain;h=b4ef95bfe1fda58410d35d9b903df157c57862e3;p=ObjectOriented-Prolog-Lisp

Update README.org

fatta documentazione di lisp
---

diff --git a/Lisp/README.org b/Lisp/README.org
index a0207a8..d4e66fa 100644
--- a/Lisp/README.org
+++ b/Lisp/README.org
@@ -343,11 +343,11 @@ Se nessuno di questi controlli va a buon fine il simbolo non è un'istanza della
 
 ** Controllo tipo valore
 Predicati dedicati al controlli dei tipi.
-Nello specifico: 
-	-possiamo controllare che tutti i campi della lista abbiamo il tipo corretto.
-	-possaimo controllare se il campo è una terna o una coppia valida (?).
-	-dato un campo e un valore possiamo verificare che il valore sia del tipo corretto in base al campo.
-	-dato un tipo e un valore possiamo controllare se il valore è del tipo specificato.
+Nello specifico:
+-possiamo controllare che tutti i campi della lista abbiamo il tipo corretto.
+-possaimo controllare se il campo è una terna o una coppia valida (?).
+-dato un campo e un valore possiamo verificare che il valore sia del tipo corretto in base al campo.
+-dato un tipo e un valore possiamo controllare se il valore è del tipo specificato.
 #+begin_src lisp :tangle ool.lisp
 (defun validate-fields-type (fields)
   (cond ((null fields) nil)