7 Commits

Include renames

Author	SHA1	Message	Date
Zander671	421eff906d	Add operands to syntax help message	2024-09-16 04:17:24 -07:00
Zander671	6f8135238b	Add syntax help menu and cli option	2024-09-16 02:38:09 -07:00
Zander671	bbc02349af	Fix handling of empty propositions on the command line	2024-09-11 01:07:52 -07:00
Zander671	edd4f53a68	Add pretty print and latin truth values support	2024-09-10 22:19:43 -07:00
Zander671	c6cadc3123	Make web server	2024-09-05 14:46:05 -07:00
Zander671	d85f58adf2	Finish port to asdf and make webserer template files	2024-09-04 03:49:47 -07:00
Zander671	24904e73b5	Refactor to use ASDF	2024-09-04 03:14:57 -07:00