Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 87b47f9c94
  
  Fix website title main Alexander Rosenberg 2024-09-16 15:10:31 -07:00
• a78e132b72
  
  Add better documentation Alexander Rosenberg 2024-09-16 12:50:05 -07:00
• 7a21f853da
  
  Clean up something Alexander Rosenberg 2024-09-16 04:23:37 -07:00
• 421eff906d
  
  Add operands to syntax help message Alexander Rosenberg 2024-09-16 04:17:24 -07:00
• f9091ad7c1
  
  Fix some bugs with the web server Alexander Rosenberg 2024-09-16 03:25:36 -07:00
• 53388e6d56
  
  Fix operator parsing Alexander Rosenberg 2024-09-16 03:08:29 -07:00
• 6f8135238b
  
  Add syntax help menu and cli option Alexander Rosenberg 2024-09-16 02:38:09 -07:00
• 627c62772b
  
  Update README.md Alexander Rosenberg 2024-09-14 01:18:20 -07:00
• bbc02349af
  
  Fix handling of empty propositions on the command line Alexander Rosenberg 2024-09-11 01:07:52 -07:00
• c52706e4b2
  
  Fix a very *REDACTED* mistake Alexander Rosenberg 2024-09-10 23:07:53 -07:00
• 2bdf936160
  
  Fix incorrect parenthesis Alexander Rosenberg 2024-09-10 23:05:14 -07:00
• edd4f53a68
  
  Add pretty print and latin truth values support Alexander Rosenberg 2024-09-10 22:19:43 -07:00
• c86b38db09
  
  Small error in arguments.lisp Alexander Rosenberg 2024-09-06 21:42:45 -07:00
• 3fc927fee8
  
  Fix some typos Alexander Rosenberg 2024-09-06 14:58:47 -07:00
• 0a73cf3295
  
  Move to new parser Alexander Rosenberg 2024-09-06 14:20:13 -07:00
• 0d9b68a75a
  
  Remove prefix option Alexander Rosenberg 2024-09-05 19:01:22 -07:00
• 76ae43160a
  
  Add a prefix option to web app Alexander Rosenberg 2024-09-05 18:10:14 -07:00
• 85fbd9e5cd
  
  Update truth-table-web-wrapper Alexander Rosenberg 2024-09-05 16:41:04 -07:00
• 6171d18d8a
  
  Clean up tree-table-web-wrapper Alexander Rosenberg 2024-09-05 15:55:11 -07:00
• c6cadc3123
  
  Make web server Alexander Rosenberg 2024-09-05 14:46:05 -07:00
• 9e35fed164
  
  Cleanup some functions in table.lisp Alexander Rosenberg 2024-09-04 12:33:12 -07:00
• d85f58adf2
  
  Finish port to asdf and make webserer template files Alexander Rosenberg 2024-09-04 03:49:47 -07:00
• b09948d77c
  
  Update README.md Alexander Rosenberg 2024-09-04 03:16:05 -07:00
• 24904e73b5
  
  Refactor to use ASDF Alexander Rosenberg 2024-09-04 03:14:57 -07:00
• 24c1a03b35
  
  Fix --subexps Alexander Rosenberg 2024-09-03 22:18:35 -07:00
• da53ad73a1
  
  Add extra documentation to truth-table.lisp Alexander Rosenberg 2024-09-03 19:44:07 -07:00
• 5a0371ae15
  
  Add nor and nand operators Alexander Rosenberg 2024-09-03 18:47:44 -07:00
• 51f99a87ab
  
  Add README.md Alexander Rosenberg 2024-09-03 18:25:54 -07:00
• 4d71df6d7e
  
  Fix type in help output Alexander Rosenberg 2024-09-03 18:24:08 -07:00
• 7a80c02bc8
  
  Add converse operation Alexander Rosenberg 2024-09-03 18:13:16 -07:00
• 6be3a3b816
  
  Add license notice to top of truth-table.lisp Alexander Rosenberg 2024-09-03 17:58:41 -07:00
• 62347e8b4d
  
  Initial commit Alexander Rosenberg 2024-09-03 17:50:58 -07:00