note that it continues onto the next line
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.
not entirely sure but this doesn’t feel like something the fsf would like . most definetly it violates freedoms 0. because it discriminates against companies with over 5 M$ in income and against people living in Japan (see 2.14 , though I’m not sure its enough to qualify) , and possibly by restricting what you can do with the software , though I’m not sure on that one . it also violates freedoms 2. and 3. by requiring publicly releasing your changes (fsf requires that free software licenses allow for private modifications) and possibly by requiring contacting the licensor or the post-open administration though I’m unsure of if it does (entering into a post-open source zero-cost / paid contract seems to me to imply contacting either the licensor or the post-open administration) .
further reading :