 Alexander Rosenberg
|
87b47f9c94
Fix website title
|
2 ماه پیش |
|
Alexander Rosenberg
|
a78e132b72
Add better documentation
|
2 ماه پیش |
|
Alexander Rosenberg
|
7a21f853da
Clean up something
|
2 ماه پیش |
|
Alexander Rosenberg
|
421eff906d
Add operands to syntax help message
|
2 ماه پیش |
|
Alexander Rosenberg
|
f9091ad7c1
Fix some bugs with the web server
|
2 ماه پیش |
|
Alexander Rosenberg
|
53388e6d56
Fix operator parsing
|
2 ماه پیش |
|
Alexander Rosenberg
|
6f8135238b
Add syntax help menu and cli option
|
2 ماه پیش |
|
Alexander Rosenberg
|
627c62772b
Update README.md
|
2 ماه پیش |
|
Alexander Rosenberg
|
bbc02349af
Fix handling of empty propositions on the command line
|
3 ماه پیش |
|
Alexander Rosenberg
|
c52706e4b2
Fix a very *REDACTED* mistake
|
3 ماه پیش |
|
Alexander Rosenberg
|
2bdf936160
Fix incorrect parenthesis
|
3 ماه پیش |
|
Alexander Rosenberg
|
edd4f53a68
Add pretty print and latin truth values support
|
3 ماه پیش |
|
Alexander Rosenberg
|
c86b38db09
Small error in arguments.lisp
|
3 ماه پیش |
|
Alexander Rosenberg
|
3fc927fee8
Fix some typos
|
3 ماه پیش |
|
Alexander Rosenberg
|
0a73cf3295
Move to new parser
|
3 ماه پیش |
|
Alexander Rosenberg
|
0d9b68a75a
Remove prefix option
|
3 ماه پیش |
|
Alexander Rosenberg
|
76ae43160a
Add a prefix option to web app
|
3 ماه پیش |
|
Alexander Rosenberg
|
85fbd9e5cd
Update truth-table-web-wrapper
|
3 ماه پیش |
|
Alexander Rosenberg
|
6171d18d8a
Clean up tree-table-web-wrapper
|
3 ماه پیش |
|
Alexander Rosenberg
|
c6cadc3123
Make web server
|
3 ماه پیش |
|
Alexander Rosenberg
|
9e35fed164
Cleanup some functions in table.lisp
|
3 ماه پیش |
|
Alexander Rosenberg
|
d85f58adf2
Finish port to asdf and make webserer template files
|
3 ماه پیش |
|
Alexander Rosenberg
|
b09948d77c
Update README.md
|
3 ماه پیش |
|
Alexander Rosenberg
|
24904e73b5
Refactor to use ASDF
|
3 ماه پیش |
|
Alexander Rosenberg
|
24c1a03b35
Fix --subexps
|
3 ماه پیش |
|
Alexander Rosenberg
|
da53ad73a1
Add extra documentation to truth-table.lisp
|
3 ماه پیش |
|
Alexander Rosenberg
|
5a0371ae15
Add nor and nand operators
|
3 ماه پیش |
|
Alexander Rosenberg
|
51f99a87ab
Add README.md
|
3 ماه پیش |
|
Alexander Rosenberg
|
4d71df6d7e
Fix type in help output
|
3 ماه پیش |
|
Alexander Rosenberg
|
7a80c02bc8
Add converse operation
|
3 ماه پیش |
