operetta.git/testfile2, branch master Unnamed repository; edit this file 'description' to name the repository. https://www.aberrantflux.xyz/operetta.git/atom/testfile2?h=master 2023-06-13T21:50:00Z restructured project 2023-06-13T21:50:00Z Kai Stevenson kai@kaistevenson.com 2023-06-13T21:50:00Z urn:sha1:1d3bbec4660dfe4e2117826ceef9b32758b40345 implemented scoping for some justifications, added helper functions 2023-06-13T21:21:07Z Kai Stevenson kai@kaistevenson.com 2023-06-13T21:21:07Z urn:sha1:caa9d17ea794a0b4823170551545498d458e1fc2 added scoping; probably doesn't work 2023-06-13T11:10:21Z Kai Stevenson kai@kaistevenson.com 2023-06-13T11:10:21Z urn:sha1:f32a19fee2a3016b6393272dc2c054ff02e63b7f fixed bugs, just_is_sound works for conjunct intro 2023-06-13T08:59:43Z Kai Stevenson kai@kaistevenson.com 2023-06-13T08:59:43Z urn:sha1:2f7ac38cca2ebab41b8adb76b69e0949eeae488d