taktoa

with builtins;

rec {
  pkgs = import <nixpkgs> {};

  testGHC = pkgs.haskellPackages.ghcWithPackages (p: with p; [
    base base-orphans bifunctors comonad contravariant distributive
    tagged transformers
  ]);

taktoa

{ system ? builtins.currentSystem }:

# In order to update `nixpkgs.json` to a specific revision, run:
#
# ```bash
# $ nix-prefetch-git https://github.com/NixOS/nixpkgs.git "${REVISION}" > nixpkgs.json
# ```

with rec {
  builtin-paths = import <nix/config.nix>;

taktoa

Online things

• Package search (for stable channel)
• Options search (for stable channel)
• A list of channels, and when they were last updated
• A timeline of channel builds
• A source code search (that actually works!) of all NixOS repositories; Nix, nixpkgs, etc.

Development tooling

taktoa

{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE OverloadedStrings         #-}
{-# LANGUAGE PackageImports            #-}
{-# LANGUAGE RankNTypes                #-}
{-# LANGUAGE TemplateHaskell           #-}
{-# LANGUAGE TypeApplications          #-}

module Main where

import           Numeric                      (showHex)

taktoa

{ pkgs }:

{
  services.windowManager.xmonad = {
    enable = true;
    haskellPackages = pkgs.haskellPackages.override {
      overrides = self: super: {
        # /path/to/mrkgnaow-xmonad is a path that contains `mrkgnaow-xmonad.cabal`
        # you can also put an invocation of `fetchgit` or `fetchFromGitHub` there.
        mrkgnaow-xmonad = self.callCabal2nix "mrkgnaow-xmonad" /path/to/mrkgnaow-xmonad {};

taktoa

% in the preamble:

\usepackage{ocgx}

% in the document:

\switchocg{ocgPlus ocgMinus ocg1}{%
  \begin{ocg}{plus}{ocgPlus}{1}
    {\bfseries +}
  \end{ocg}

taktoa

- extensions:
    - default: true

    # These are basically non-negotiable
    - {name: AllowAmbiguousTypes,      within: []} # should never be necessary
    - {name: Arrows,                   within: []} # weird syntax
    - {name: DatatypeContexts,         within: []} # useless
    - {name: EmptyCase,                within: []} # nearly useless
    - {name: ImpredicativeTypes,       within: []} # very buggy
    - {name: IncoherentInstances,      within: []} # footgun

taktoa

# Add this file to your /etc/nixos/configuration.nix `imports = [ ... ];` attribute.
#
# After running `nixos-rebuild switch`, `systemctl --user start keybase-gui.service`
# can be used to start the Keybase GUI.
#
# Not sure if it's just my tiling window manager, but there is a bit of wonkiness
# with the tray icon. Other than that it works perfectly (as of 2017/11/22).

{ pkgs, ... }:

taktoa

module KindOfGenerativeModuleFunctors where
  ------------------------------------------------------------------------------

  open import Data.Product                          using (_×_; _,_)
  open import Data.Nat                              using (ℕ)
  open import Data.Bool                             using (Bool; false; true)
  open import Relation.Binary.PropositionalEquality using (_≡_; _≢_; refl)

  ------------------------------------------------------------------------------

taktoa

--------------------------------------------------------------------------------

{-# LANGUAGE ConstraintKinds            #-}
{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE FlexibleContexts           #-}
{-# LANGUAGE FlexibleInstances          #-}
{-# LANGUAGE GADTs                      #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures             #-}