JLimperg

# This file was auto-generated by cabal2nix. Please do NOT edit manually!

{ cabal, convertible, exceptions, HDBC, HDBCSqlite3, monadHdbc, mtl
, options, text, time, transformers
}:

cabal.mkDerivation (self: {
  pname = "scrumgr";
  version = "0.1.0.0";
  src = ./.;

JLimperg

# This file was auto-generated by cabal2nix. Please do NOT edit manually!

{ cabal, convertible, exceptions, HDBC, HDBCSqlite3, monadHdbc, mtl
, options, text, time, transformers
}:

cabal.mkDerivation (self: {
  pname = "scrumgr";
  version = "0.1.0.0";
  src = ./.;

JLimperg

module ImageTest where

import           Control.Monad
import           Data.Functor
import           Vision.Image.RGB -- [1]
import           Vision.Image.Storage
import           Vision.Image.Type
import           Vision.Primitive.Shape

-- [1] For convenience, you can also just import Vision.Image, which

JLimperg

{
  haskellPackageOverrides = self: super: {
   mkDerivation = expr: super.mkDerivation (expr // { enableLibraryProfiling = true; });
  };

  packageOverrides = super: let self = super.pkgs; in
  {
    haskellEnv = self.haskellngPackages.ghcWithPackages (p: with p; [
      xmonad xmonad-contrib cabal-install cabal2nix
    ]);

JLimperg

{-# OPTIONS --without-K #-}

module challenge where

open import Data.List using (List ; _∷_)
open import Data.Sum using (_⊎_ ; inj₁ ; inj₂)
open import Relation.Binary.PropositionalEquality
  using (_≡_ ; refl ; inspect ; [_])

JLimperg

Statistics for 5278 Aesop calls in current and imported modules
Displaying totals and [averages] in milliseconds
Total time:            1250446.5ms [236.9ms]
Config parsing:        20106.7ms [3.8ms]
Rule set construction: 9188.2ms [1.7ms]
Rule selection:        39436.8ms [7.4ms]
Search:                1220103.7ms [231.1ms]
Rules:
  <norm simp>:
    total:      11330 in 913756.8ms [80.6ms]