Skip to content
Subhajit Sahu edited this page Mar 24, 2021 · 5 revisions

Checks if antecedent ⇔ consequent (x ⇔ y). 📰 📘

Similar: eq, neq.
Similar: imply, eq.


eq a b
-- a: antecedent
-- b: consequent
import Boolean exposing (..)

eq False False
-- True

eq True True
-- True

eq False True
-- False

eq True False
-- False


References

Clone this wiki locally