Ruudukko

input/code.hs:7:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      splitToPairs :: Int -> [t] -> [[t]]

input/code.hs:9:1: warning: [-Wtabs]
    Tab character found here, and in 9 further locations.
    Please use spaces instead.

input/code.hs:12:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      doRow :: Int -> [a] -> [a]

input/code.hs:14:1: warning: [-Wunused-top-binds]
    Defined but not used: `make4x4From'

input/code.hs:14:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      make4x4From :: (Enum t, Num t) => t -> [[t]]

input/code.hs:21:1: warning: [-Wunused-top-binds]
    Defined but not used: `horizCat'

input/code.hs:21:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      horizCat :: [[a]] -> [[a]] -> [[a]]

input/code.hs:22:1: warning: [-Wunused-top-binds]
    Defined but not used: `vertCat'

input/code.hs:22:1: warning: [-Wmissing-sig...

import Data.Function
import Data.List
import Data.Monoid
import Data.Foldable
import Data.Bits

splitToPairs _ [] = []
splitToPairs n xs = pair : splitToPairs n rest
	where
	(pair, rest) = splitAt n xs

doRow n xs = splitToPairs n xs & map reverse & concat

make4x4From n =
	let a = [n .. n + 3] in
	let b = doRow 2 a in
	let c = doRow 4 b in
	let d = doRow 2 c in
	[a, b, c, d]

horizCat = zipWith (++)
vertCat xs ys = horizCat (transpose xs) (transpose ys) & transpose

doRows xs = fold ((Endo . doRow) <$> xs) & appEndo

nthInSeq n = -(-n `xor` n)

-- OEIS A171977
theSequence :: Int -> [Int]
theSequence n = [1..n] & map nthInSeq

rowFuncs n = theSequence (n - 1) & inits & map doRows

makeGrid n = rowFuncs n & map ($ [1..n])

trimGrid n xs = xs & map (take n) & take n

printGridLn xs = xs & map show & intercalate " " & putStrLn

printGrid xs = xs & map printGridLn & sequence_

main = do
	n <- readLn :: IO Int
	makeGrid 128 & trimGrid n & printGrid
	-- makeGrid 128 & trimGrid n & concat & sum & print

Test 1

Verdict: ACCEPTED

Test 2

Verdict: ACCEPTED

Test 3

Verdict: ACCEPTED

Test 4

Verdict: ACCEPTED

Test 5

Verdict: ACCEPTED

Test 6

Verdict: ACCEPTED