Carlo Nucera meditans

meditans / concat-inline.nix

Created May 7, 2018 15:44

	self: super: {
	haskell.packages.ghc802 = super.haskell.packages.ghc802.extend (selfHS: superHS: {
	concat-inline = self.haskell.lib.dontHaddock (selfHS.callPackage ~/code/haskell/forks/concat/inline {});
	concat-satisfy = self.haskell.lib.dontHaddock (selfHS.callPackage ~/code/haskell/forks/concat/satisfy {});
	});
	}

meditans / mrsopLogicTerms.hs

Created December 7, 2018 14:21

Idea for guanxi terms with logical variables, mrsop style

	-- -- eval: (med/hp '(pretty-show generics-mrsop singletons)) --

	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}

meditans / linuxband2.nix

Created July 28, 2019 12:40

	{ stdenv, fetchurl, makeWrapper, pkgconfig, MMA, libjack2, libsmf, python2Packages, fetchFromGitHub, automake, autoconf, autoreconfHook }:

	let
	inherit (python2Packages) pyGtkGlade pygtksourceview python;
	in stdenv.mkDerivation rec {
	version = "master";
	name = "linuxband-${version}";

	src = fetchFromGitHub {
	owner = "noseka1";

meditans / configuration.nix

Created July 28, 2019 13:03

  hardware.pulseaudio.package = pkgs.pulseaudio.override { jackaudioSupport = true; };

meditans / Inconstistency.hs

Created February 23, 2020 11:21

Another question about generic-data-surgery

	{-# LANGUAGE DeriveGeneric, TypeApplications, DataKinds, TypeOperators,
	DerivingStrategies, GeneralizedNewtypeDeriving, UndecidableInstances #-}

	module Inconsistency where

	import Data.Text (Text)
	import qualified GHC.Generics as GHC
	import Generic.Data.Surgery
	import Generic.Data.Surgery.Internal
	import Fcf

meditans / direnv.md

Last active March 14, 2020 03:06

emacs direnv intro

Hai questo problema, diciamo che test/shell.nix sia:

{ pkgs ? import <nixpkgs> {} }:
with pkgs; mkShell { buildInputs = [ pkgs.hello ]; }

tu fai:

> cd test

test> hello