Skip to content

Instantly share code, notes, and snippets.

View JLimperg's full-sized avatar

Jannis Limperg JLimperg

View GitHub Profile
@JLimperg
JLimperg / default.nix
Created November 22, 2014 13:48
nix-shell not working w/ local executable project
# 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 = ./.;
# 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
JLimperg / ImageTest.hs
Last active August 29, 2015 14:11
friday usage sample
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
JLimperg / config.nix
Created January 30, 2015 15:29
~/.nixpkgs/config.nix
{
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
JLimperg / challenge.agda
Last active February 22, 2017 18:40
Agda solution to member_heq_eq
{-# 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
JLimperg / stats.txt
Created February 17, 2024 11:30
Aesop stats for Mathlib as of 2024-02-16
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]