operetta.git/src, branch master Unnamed repository; edit this file 'description' to name the repository. https://aberrantflux.xyz/operetta.git/atom/src?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 added q key to exit 2023-06-19T23:34:06Z Kai Stevenson kai@kaistevenson.com 2023-06-19T23:34:06Z urn:sha1:a82f530f99fa75ee44bbf345cf34bae6b399a3a1 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 added contradiction introduction rule 2023-06-18T03:11:37Z Kai Stevenson kai@kaistevenson.com 2023-06-18T03:11:37Z urn:sha1:a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9 console library works now 2023-06-18T00:46:10Z Kai Stevenson kai@kaistevenson.com 2023-06-18T00:46:10Z urn:sha1:d201bf2bf253c80a8629f11e44da9daca67470aa more work on console functions 2023-06-16T22:02:10Z Kai Stevenson kai@kaistevenson.com 2023-06-16T22:02:10Z urn:sha1:55a781a696524d9a00ad162d00555db6df76e32c added contradiction to lexer 2023-06-15T06:18:55Z Kai Stevenson kai@kaistevenson.com 2023-06-15T06:18:55Z urn:sha1:bd54d5deb33a3ce3a5c843eaf99337a0934eb2de created file for console related functions. will support scrolling the output and expanding lines 2023-06-14T04:41:35Z Kai Stevenson kai@kaistevenson.com 2023-06-14T04:41:35Z urn:sha1:9e420f7b82c894e077f5c9b7d7020ac3f55ce146 added implication elim rule 2023-06-14T04:24:31Z Kai Stevenson kai@kaistevenson.com 2023-06-14T04:24:31Z urn:sha1:c97957b76a6ff95aa413ed5cf1a39ec76aad9a60