1 parent 7392a26 commit e11b1baCopy full SHA for e11b1ba
1 file changed
README.md
@@ -12,7 +12,12 @@ Algorithm], maybe can you help me?
12
13
The main usage for now it's using as a truth-table generator by using
14
its command line interface. You can download the last release and use
15
-as showed in the last picture.
+as showed in the last picture as following:
16
+
17
+```
18
+ros install ryukinix/lisp-inference
19
+~/.roswell/bin/inference
20
21
22
# License
23
BSD
0 commit comments