clericc

joined 1 year ago
sorted by: new top controversial old
fries are another $8.00 in c/[email protected]
fries are another $8.00 in c/[email protected]
[–] [email protected] 13 points 9 months ago (5 children)

We have this exact hanging lamp at home from Amazon lol

Ok, at some point we made a big mistake. in c/[email protected]
[–] [email protected] 1 points 9 months ago* (last edited 9 months ago)

After 5 minutes of staring at it: Its typesystem sudoku. Each row and each col in the grid must add up to 15 (T<>), bit each number in the grid must be different (Df<>).

Grid will only be a type alias for the value true (google "Dependent types") only if all Type Parameters (wich are values) hold up to the Sudoku conditions).

The file would not compile with "true as Grid" when grid type-aliases to false.

Fun to understand.

EDIT: too late