operetta.git/src/parse.c, branch master Unnamed repository; edit this file 'description' to name the repository. https://www.aberrantflux.xyz/operetta.git/atom/src/parse.c?h=master 2023-06-18T03:11:37Z added contradiction introduction rule 2023-06-18T03:11:37Z Kai Stevenson kai@kaistevenson.com 2023-06-18T03:11:37Z urn:sha1:a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9 starting a new assumption on the same depth creates a new scope, added scoping detections for all rules 2023-06-14T01:49:47Z Kai Stevenson kai@kaistevenson.com 2023-06-14T01:49:47Z urn:sha1:c427a114bf95620cb9f1b439a8a6e1db14a74fb0 restructured project 2023-06-13T21:50:00Z Kai Stevenson kai@kaistevenson.com 2023-06-13T21:50:00Z urn:sha1:1d3bbec4660dfe4e2117826ceef9b32758b40345