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