New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feature: allow to use `->` for implication #9

Open

max397574 opened this issue Oct 2, 2024 · 0 comments

Labels

max397574 commented Oct 2, 2024

For my usecase we have to use -> for implication and can't use ->

I'm not sure if it is as simple as replacing all the occurences of -> with => here

truthfy/main.typ

Line 54 in b2ddafa

    
           text = str(text.replace("∧", "and").replace("∨", "or")).replace("¬", "not")

or if this would also change the table header
that's why I didn't open a pr

The text was updated successfully, but these errors were encountered:

Thumuss added the enhancement label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment