techtangents

{}:

let
  nixpkgs = import ./nixpin.nix { };

  sources = {
    text1 = nixpkgs.fetchFromGitHub {
      owner = "qfpl";
      repo = "text1";
      rev = "a6ec5284a6320f160c9fc749b7a5472e8c122da5";

techtangents

{ mkDerivation, aeson, aeson-pretty, base, blaze-html, bytestring
, data-default, either, free, lens, optparse-applicative
, QuickCheck, semigroups, stdenv, system-filepath, tasty
, tasty-hunit, tasty-quickcheck, text, text1, time, url
, xml-conduit, xml-conduit-decode
}:
mkDerivation {
  pname = "brazil";
  version = "0.1.0.0";
  src = ./.;

techtangents

let
  nixpkgs = import ./nixpin.nix { };

  compiler = "default";

  inherit (nixpkgs) pkgs;

  sources = {
    text1 = pkgs.fetchFromGitHub {
      owner = "qfpl";

techtangents

Laws checking for quickcheck.
toText :: Text1 -> Text
Heyting algebra
cabal2nix as a nix expression
Morgan's debugA
Extra combinator in `loops` package.
Configurator needs interpolation in integer fields.

techtangents

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleInstances #-}

module Experiment where

import           Control.Lens
import           Control.Lens.TH               (makeClassyPrisms)
import           Control.Monad.Error.Class