1/0 instead of 0/1

[Ceredril]

Hey there,
i really like using the life version of your program as it saves me time for getting tables into LaTex.

However (just a mild inconvenience) it only gives the option to output the Truth-Values of T/F, ⊤/⊥ and 1/0.
Personally i think starting at 0 and changing to 1 is a much more standard way for a truth table, which is why i wanted to mention this to you.

Have a good day!

[mrieppel]

Hi Ceredril, I'm glad you find the program useful, and thanks for the suggestion about 0 and 1. I just did a google image search and noticed that you're right, tables that use 0 and 1 do sometimes seem to start with the 0's row --- I'm guessing that this convention may come from computer science, in logic the convention is to start with the 1's. Michael

…

On Fri, Jan 28, 2022 at 11:22 AM Ceredril ***@***.***> wrote: Hey there, i really like using the life version of your program as it saves me time for getting tables into LaTex. However (just a mild inconvenience) it only gives the option to output the Truth-Values of T/F, ⊤/⊥ and 1/0. Personally i think starting at 0 and changing to 1 is a much more standard way for a truth table, which is why i wanted to mention this to you. Have a good day! — Reply to this email directly, view it on GitHub <#3>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABSCKHOUWTHEQ4NG4JJTBZ3UYK7EZANCNFSM5NBFRSCA> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[Ceredril]

Hey Michael,

i was just wondering how difficult it would be to implement this as an option. Obviously you dont have any obligation to do this but how long would it take? Would you be interested in me helping with this issue by suggesting code changes?

Best Regards
Leonard

[mrieppel]

Hi Leonard, I think it probably wouldn't be too hard to do, the table is an array in the code so it would just be a matter of reordering the rows in the array. But I don't really want to add yet another option to for users to select, I feel like it'll make the interface get increasingly cluttered without much added benefit. Thanks for the suggestion though. Michael

…

On Sun, Feb 6, 2022 at 1:11 PM Ceredril ***@***.***> wrote: Hey Michael, i was just wondering how difficult it would be to implement this as an option. Obviously you dont have any obligation to do this but how long would it take? Would you be interested in me helping with this issue by suggesting code changes? Best Regards Leonard — Reply to this email directly, view it on GitHub <#3 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABSCKHJXTUPXVYTLNJAQJ4TUZ22UTANCNFSM5NBFRSCA> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you commented.Message ID: ***@***.***>

[Ceredril]

Alright. I think it would be a good addition but i can see your point.

Have a nice day!