Skip to content

Instantly share code, notes, and snippets.

@adolfont

adolfont/tableau.md

Last active July 18, 2019 19:01
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save adolfont/f3556a075b6577146232e5f133a6b825 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save adolfont/f3556a075b6577146232e5f133a6b825 to your computer and use it in GitHub Desktop.
Download ZIP
Tablôs Analíticos em Elixir
Raw
tableau.md

Como representar o tablô?

[Raiz, Esquerda, Direita\]

Início

[Fórmulas do Tablô, <Tablô Vazio>, <Tablô Vazio>]

Exemplo

tablo_vazio = []

A, A->B |- B

[ [T A, T A->B, F B], tablo_vazio ,  tablo_vazio]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment