O programa exemplo que o Wandbox nos fornece é o seguinte:

defmodule Wandbox do
    def hello() do
        IO.puts "Hello, Wandbox!"
    end
end
 
Wandbox.hello()

Neste programa é definido (usando defmodule) um Módulo (um agrupamento de funções) chamado Wandbox.

Neste módulo é definida uma função (usando def) chamada hello(). Uma função que não recebe nenhum argumento e que escreve na tela (usando o comando IO.puts) a mensagem “Hello, Wandbox!”.

Definir o módulo não é o suficiente para que a função seja executada.

Por isso, após o fim (end) das definições da função e do módulo, o programa chama a função hello() colocando antes o nome do módulo: Wandbox.hello().

defmodule LogicaClassicaProposicional do
  def nao(:v), do: :f
  def nao(:f), do: :v
end

alias LogicaClassicaProposicional, as: LCP

IO.inspect LCP.nao(:f)
IO.inspect LCP.nao(:v)

Neste programa, definimos o módulo LogicaClassicaProposicional.

Em seguida, definimos a função nao que recebe um argumento (usamos a notação nao/1) para representar esta situação. Adiante, veremos a função e/2 que recebe dois argumentos. Aridade é o termo que usamos para chamar a quantidade de argumentos de uma função. A função vista anteriormente, nao/1 tem aridade 1 e e/2

A função é definida em duas clásulas

que é definida em duas linhas.