@@ -0,0 +1,12 @@
+There are seven functions with type `Bool -> Bool`. The could be named:
+- identity
+- NOT
+- AND
+- NAND
+- OR
+- XOR
+- NOR
+
+There are two functions with type `Bool -> Bool -> Bool`:
+- ==
+- \=