lsap
Results
3
comments of
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).