lsap

`{-# OPTIONS_HADDOCK prune, ignore-exports #-} {------------------------------------------------------------------------------} {- Author: Dushkin Roman -} {------------------------------------------------------------------------------} module Rubik where import qualified Data.Set as Set import Data.Set (Set, (\\)) import qualified Data.Map as Map import...

flake.nix for Haskell is the same to @jmatsushita 's

stefan-hoeck/idris2-pack might be the replacement of nix one day after the game-idris mirations to Idris 2 (if any).