TL;DR: Grid<A,B,C,D,E,F,G,H>
simplifies to true, if and only if it is a 3x3 magic square.
Fifteen
is an array of length 15T<A,B,C>
checks if an array of length A
+B
+C
is equivalent to an array of length 15, thus checking if A
+B
+C
is equal to 15And<A,X>
is simplifies to X
if A
is true, else it simplifies to false
Df<A,B,X>
checks if A
and B
are Diffrent , simplifying to X
if they areGrid<A,B,C,D,E,F,G,H>
first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.
I specifically used https://carbon.now.sh