Refactor webapp.lisp update-table + render for note

Based on Alexander Artemenko (@svetlyak40wt) tips I did this.

The co-existance of update-table and update-proposition
it's unecessary and confuse.

There is some problems about rendering string, add render-note
instead of defining that all strings will be rendered using :pre.

Author: ryukinix

web/webapp.lisp

@@ -57,26 +57,23 @@
                  :prop (format nil "~a" exp)
                  :truth (truth-table exp)))
 
-(defun update-table (table exp)
-  (setf (prop table) (format nil "~a" exp))
-  (setf (truth table) (truth-table exp)))
-
-(defgeneric update-proposition (table exp))
+(defgeneric update-table (table exp))
 
-(defmethod update-proposition (table (exp list))
-  (update-table table exp)
+(defmethod update-table (table (exp list))
+  (setf (prop table) (format nil "~a" exp))
+  (setf (truth table) (truth-table exp))
   (update table))
 
-(defmethod update-proposition (table (string string))
-  (update-proposition
-    table
-    (parse-string string)))
+(defmethod update-table (table (exp string))
+  (update-table
+   table
+   (parse-string exp)))
 
 (defmethod render ((table table))
   (with-html
     (:h1 "Lisp Inference Truth Table System")
     (with-html-form (:POST (lambda (&key prop &allow-other-keys)
-                             (update-proposition table prop)))
+                             (update-table table prop)))
       (:input :type "text"
               :name "prop"
               :placeholder (prop table))
@@ -87,7 +84,7 @@
     (:p "Some notes: "
         (:ul
          (loop for note in *notes*
-               do (:li (render note)))))
+               do (:li (render-note note)))))
     (:span "Source: "
            (:a :href "https://github.com/ryukinix/lisp-inference"
                "ryukinix/lisp-inference"))
@@ -96,7 +93,7 @@
            (:a :href
                "https://lerax.me/lisp-inference" "lerax.me/lisp-inference"))))
 
-(defmethod render ((string string))
+(defun render-note (string)
   (with-html
     (:pre string)))