elmw / hello-world / Main

A "Hello, World!" is an introductory computer program.\ 📦 Package, 📘 Wiki.

eq : Basics.Bool -> Basics.Bool -> Basics.Bool

Check if antecedent ⇔ consequent (a ⇔ b). 📘 -- eq a b -- a: antecedent -- b: consequent eq True True == True eq False False == True eq True False == False eq False True == False

imply : Basics.Bool -> Basics.Bool -> Basics.Bool

Check if antecedent ⇒ consequent (a ⇒ b). 📘 -- imply a b -- a: antecedent -- b: consequent imply True True == True imply False True == True imply False False == True imply True False == False

eqv : Basics.Bool -> Basics.Bool -> Basics.Bool

Check if antecedent ⇔ consequent (a ⇔ b). 📘 -- eqv a b -- a: antecedent -- b: consequent eqv True True == True eqv False False == True eqv True False == False eqv False True == False

imp : Basics.Bool -> Basics.Bool -> Basics.Bool

Check if antecedent ⇒ consequent (a ⇒ b). 📘 -- imp a b -- a: antecedent -- b: consequent imp True True == True imp False True == True imp False False == True imp True False == False

and : Basics.Bool -> Basics.Bool -> Basics.Bool

Check if all values are true. 📘 -- and[n] a b ... -- a: 1st boolean -- b: 2nd boolean and True True == True and True False == False and4 True True True True == True and4 True False True True == False

and0 : Basics.Bool

Check if all values are true. 📘 -- and[n] a b ... -- a: 1st boolean -- b: 2nd boolean and True True == True and True False == False and4 True True True True == True and4 True False True True == False

and1 : Basics.Bool -> Basics.Bool

Check if all values are true. 📘 -- and[n] a b ... -- a: 1st boolean -- b: 2nd boolean and True True == True and True False == False and4 True True True True == True and4 True False True True == False

and2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Check if all values are true. 📘 -- and[n] a b ... -- a: 1st boolean -- b: 2nd boolean and True True == True and True False == False and4 True True True True == True and4 True False True True == False