Update README.org

fatta documentazione di lisp

diff --git a/Lisp/README.org b/Lisp/README.org
index a0207a877aecc421bb82cacb0861ff23226f11a5..d4e66faaf782159755f9880afa091d7eb4079296 100644 (file)
--- 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)