9 lines
205 B
Elixir
9 lines
205 B
Elixir
defmodule Diamondtail.Operators do
|
|
defmodule Implication do
|
|
@moduledoc """
|
|
Implements logical implication, A ~> B is true if B is true or A is false
|
|
"""
|
|
def a ~> b, do: !a || b
|
|
end
|
|
end
|