puffnfresh

{ dmenu, fetchgit }:

dmenu.overrideAttrs (attrs: {
  patches = [ ];
  src = fetchgit {
    url = "https://git.sr.ht/~mil/sxmo-dmenu";
    rev = "5.0.10";
    sha256 = "1qnwrfx33z4iqvd7m06bf4rlbjxsvxy4m9lrypc5gnwmanl72zcb";
  };
})

puffnfresh

module Primes where

open import Level using (_⊔_)
open import Coinduction
open import Function
open import Data.Empty
open import Data.Unit
open import Data.Nat
open import Data.Nat.Properties
open import Data.Nat.Divisibility

puffnfresh

with import <nixpkgs> { };

package:
  haskell.lib.overrideCabal package (p: {
    isLibrary = false;
    enableSharedExecutables = false;
    postInstall = ''
      rm -r $out/lib $out/share
    '';
  })

puffnfresh

{-# LANGUAGE RankNTypes #-}

import Control.Lens
import Data.Functor.Apply

traversal1
  :: Traversal1 s t a b
  -> Traversal s t a b
traversal1 t f =
  unwrapApplicative . t (WrapApplicative . f)

puffnfresh

public class FP
{
  public static <A> A identity (A a)
  {
    return a;
  }
  public static <A, B> A constant (A a, B b)
  {
    return a;
  }

puffnfresh

module Compose where

open import Level
open import Function
open import Relation.Binary.PropositionalEquality

record Functor {α} (T : Set α → Set α) : Set (suc α) where
  field
    map : ∀ {A B : Set α} → (A → B) → T A → T B
    identity : ∀ {A : Set α} → map id ≡ id {A = T A}

puffnfresh

How do we add extra information to a tree? This has been called [The
AST Typing
Problem](http://blog.ezyang.com/2013/05/the-ast-typing-problem/).

After being hit with this problem in Roy's new type-inference engine,
I tried figuring out how to represent the algorithm. I eventually
realised that it looked like a comonadic operation. Turns out it's
been done before but I couldn't find any complete example.

Below is some literate Haskell to show how to use the Cofree Comonad

puffnfresh

module AlaCarte where

-- Control.Monad.Free

data Free f a = Free (f (Free f a)) | Pure a

instance Functor f => Monad (Free f) where
    Pure a >>= f = f a
    Free r >>= f = Free (fmap (>>= f) r)
    return = Pure

puffnfresh

#!/bin/sh

sudo mount -o remount,exec /tmp

if [ -x /usr/local/nixstrap/proot-x86_64 ] && [ -h ~/.nix-profile ]; then
  echo "Launching shell with nix-* tools!"
  exec /usr/local/nixstrap/proot-x86_64 -b /usr/local/nixstrap/nix-1.8-x86_64-linux:/nix bash --init-file ~/.nix-profile/etc/profile.d/nix.sh
fi

set -e

puffnfresh

# Adds node_modules/.bin to the PATH
npm_chpwd_hook() {
    if [ -n "${PRENPMPATH+x}" ]; then
        PATH=$PRENPMPATH
        unset PRENPMPATH
    fi
    if [ -f package.json ]; then
        PRENPMPATH=$PATH
        PATH=$(npm bin):$PATH
    fi