operetta.git, branch master Unnamed repository; edit this file 'description' to name the repository. https://www.aberrantflux.xyz/operetta.git/atom/?h=master 2024-03-04T20:15:57Z added inttypes header for freebsd compat. 2024-03-04T20:15:57Z Kai Stevenson kai@kaistevenson.com 2024-03-04T20:15:57Z urn:sha1:eb7b6be4fcee11fbd1f353698c8744789b3fafd4 fixed man page 2023-06-20T00:04:03Z Kai Stevenson kai@kaistevenson.com 2023-06-20T00:04:03Z urn:sha1:477366a7f54e27045ffcde8f4b6543486e467331 added man page 2023-06-20T00:03:17Z Kai Stevenson kai@kaistevenson.com 2023-06-20T00:03:17Z urn:sha1:e12b4fe50e9805e0a2b1df4ecd35909a8ef2b9d0 added q key to exit 2023-06-19T23:34:06Z Kai Stevenson kai@kaistevenson.com 2023-06-19T23:34:06Z urn:sha1:a82f530f99fa75ee44bbf345cf34bae6b399a3a1 actually added examples 2023-06-19T07:04:58Z Kai Stevenson kai@kaistevenson.com 2023-06-19T07:04:58Z urn:sha1:078fb1cefa5f2893488c461a8be4c903c3ff8e1c added examples 2023-06-19T07:03:17Z Kai Stevenson kai@kaistevenson.com 2023-06-19T07:03:17Z urn:sha1:2328016214e236b9c6e7b5aeef60544c7b7ddc87 added more alternatives for tokens in lexer 2023-06-18T07:14:13Z Kai Stevenson kai@kaistevenson.com 2023-06-18T07:14:13Z urn:sha1:8b541b2eab8169e39ce59964b367f9c20f7cf49b separated switch case into functions, added negation intro rule 2023-06-18T06:13:23Z Kai Stevenson kai@kaistevenson.com 2023-06-18T06:13:23Z urn:sha1:484898d4efdab6d8cff3a887601d5a612034ce0f updated readme 2023-06-18T03:20:22Z Kai Stevenson kai@kaistevenson.com 2023-06-18T03:20:22Z urn:sha1:a9a6750e2b97708c6d324d9c3cf2f5422cfe853e added contradiction introduction rule 2023-06-18T03:11:37Z Kai Stevenson kai@kaistevenson.com 2023-06-18T03:11:37Z urn:sha1:a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9