9 Commits

Author	SHA1	Message	Date
Alexander Rosenberg	7a21f853da	Clean up something	2024-09-16 04:23:37 -07:00
Alexander Rosenberg	f9091ad7c1	Fix some bugs with the web server	2024-09-16 03:25:36 -07:00
Alexander Rosenberg	6f8135238b	Add syntax help menu and cli option	2024-09-16 02:38:09 -07:00
Alexander Rosenberg	c52706e4b2	Fix a very *REDACTED* mistake	2024-09-10 23:08:18 -07:00
Alexander Rosenberg	2bdf936160	Fix incorrect parenthesis	2024-09-10 23:05:14 -07:00
Alexander Rosenberg	edd4f53a68	Add pretty print and latin truth values support	2024-09-10 22:19:43 -07:00
Alexander Rosenberg	3fc927fee8	Fix some typos	2024-09-06 14:58:47 -07:00
Alexander Rosenberg	c6cadc3123	Make web server	2024-09-05 14:46:05 -07:00
Alexander Rosenberg	24904e73b5	Refactor to use ASDF	2024-09-04 03:14:57 -07:00