Skip to content

feat: allow configurable symbols for all connectives#8

Open
christopher-hampson wants to merge 1 commit into
DigitalFormalLogic:masterfrom
christopher-hampson:feature/grammar-symbols
Open

feat: allow configurable symbols for all connectives#8
christopher-hampson wants to merge 1 commit into
DigitalFormalLogic:masterfrom
christopher-hampson:feature/grammar-symbols

feat: allow configurable symbols for all connectives

cb83bb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.