File tree 2 files changed +17
-11
lines changed
2 files changed +17
-11
lines changed Original file line number Diff line number Diff line change 1
1
SBCL_CMD := sbcl --noinform --disable-debugger --load
2
2
OBJECTS := lisp-inference
3
3
DOCKER_IMG = lisp-inference
4
+ PUBLIC_IMG = ryukinix/$(DOCKER_IMG )
4
5
5
6
all : $(OBJECTS )
6
7
@@ -25,4 +26,8 @@ docker-run:
25
26
docker-check :
26
27
docker run --rm -t --entrypoint=ros $(DOCKER_IMG ) run -s lisp-inference/test -l run-test.lisp
27
28
29
+ docker-publish :
30
+ docker tag $(DOCKER_IMG ) $(PUBLIC_IMG )
31
+ docker push $(PUBLIC_IMG )
32
+
28
33
.PHONY : check
Original file line number Diff line number Diff line change 22
22
(defvar *proposition* " P => Q" " Default proposition" )
23
23
(defvar *port* (find-port :find-port))
24
24
(defvar *notes*
25
- ' (" My lexer doesn't work very well for parenthesis."
25
+ ' (" My lexer doesn't work very well with parenthesis."
26
26
" Please, don't be evil. Use less than 10 variables."
27
27
" Yes, [+] it's a XOR. Mathematically: p ⊕ q."
28
28
" (=> ->) and (<=> <->) are aliases." ))
71
71
72
72
(defmethod render ((table table))
73
73
(with-html
74
- (:h1 " Lisp Inference Truth Table System" )
75
- (with-html-form (:POST (lambda (&key prop &allow-other-keys )
76
- (update-table table prop)))
77
- (:input :type " text"
78
- :name " prop"
79
- :placeholder (prop table))
80
- (:input :type " submit"
81
- :value " Eval" ))
82
- (:pre (truth table))
83
- (:pre (format nil " Operators: ~a " inference :*valid-operators* ))
74
+ (:h1 :align " center" " Lisp Inference Truth Table System" )
75
+ (:div :align " center"
76
+ (with-html-form (:POST (lambda (&key prop &allow-other-keys )
77
+ (update-table table prop)))
78
+ (:input :type " text"
79
+ :name " prop"
80
+ :placeholder (prop table))
81
+ (:input :type " submit"
82
+ :value " Eval" ))
83
+ (:pre :style " font-size: 25px" (truth table))
84
+ (:pre (format nil " Operators: ~a " inference :*valid-operators* )))
84
85
(:p " Some notes: "
85
86
(:ul
86
87
(loop for note in *notes*
You can’t perform that action at this time.
0 commit comments