eliascarv / truthtables.jl

Create truth tables in Julia!

Welcome everyone, I'm Elias Carvalho!

truthtables.jl's Issues

.

.

Arrow for implication

Great package!

Is it possible to add → (\rightarrow) or something similar for implication? It's a bit cleaner than -->

```@truthtable``` macro docstring broken in REPL

Hello, this package is really interesting :)

When I was using the @truthtable macro and check the docstrings for it:

help?>@truthtable

There are some errors:

help?> @truthtable
  @truthtable formula [full=false]


  Creates a truth table for the logical propositional formula.

  full is an optional keyword argument which by default is false. If full is true, the truth table will be
  created in expanded form.

  List of logical operators
  ===========================

    •  AND: &&, &, ∧ (\wedge<tab>)

    •  OR: ||, |, ∨ (\vee<tab>)

    •  NOT: !, ~, ¬ (\neg<tab>)

    •  XOR: ⊻ (\xor<tab>)

    •  NAND: ⊼ (\nand<tab>)

    •  NOR: ⊽ (\nor<tab>)

    •  IMPLICATION: -->

    •  EQUIVALENCE: <-->, ≡ (\equiv<tab>)

  Examples
  ≡≡≡≡≡≡≡≡≡≡

Error showing value of type Markdown.MD:
ERROR: KeyError: key Tokenize.Tokens.DOUBLE_ARROW not found
Stacktrace:
  [1] getindex
    @ .\dict.jl:482 [inlined]
  [2] untokenize(t::Tokenize.Tokens.Token)
.............

UndefVarError: --> not defined

I tried creating a truth table for x --> y, but it throws the following error:

UndefVarError: --> not defined

When I replace it with -->(x, y), however, it works fine.

TagBot trigger issue

This issue is used to trigger TagBot; feel free to unsubscribe.

If you haven't already, you should update your TagBot.yml to include issue comment triggers.
Please see this post on Discourse for instructions and more details.

If you'd like for me to do this for you, comment TagBot fix on this issue.
I'll open a PR within a few hours, please be patient!

ERROR: syntax: function argument name not unique

This is not working:

@truthtable !(x || y) <--> (!x && !y)