patrl

First, let's roll our own state monad. We'll treat assignments just as sequences of individuals.

{-# LANGUAGE TupleSections #-}

import Data.Bifunctor (first)
import Control.Applicative (liftA2)

type E = Int

patrl

#!/usr/bin/env bash
set -Eeuxo pipefail

type git >/dev/null 2>&1 || { echo >&2 "I require git but it's not installed.  Aborting."; exit 1; }
type nix >/dev/null 2>&1 || { echo >&2 "I require nix but it's not installed.  Aborting."; exit 1; }
type niv >/dev/null 2>&1 || { echo >&2 "I require niv but it's not installed.  Aborting."; exit 1; }
type direnv >/dev/null 2>&1 || { echo >&2 "I require direnv but it's not installed.  Aborting."; exit 1; }
type lorri >/dev/null 2>&1 || { echo >&2 "I require lorri but it's not installed.  Aborting."; exit 1; }

git init # initialize git repository

patrl

#!/usr/bin/env bash
set -Eeuxo pipefail

type git >/dev/null 2>&1 || { echo >&2 "I require git but it's not installed.  Aborting."; exit 1; }
type nix >/dev/null 2>&1 || { echo >&2 "I require nix but it's not installed.  Aborting."; exit 1; }
type niv >/dev/null 2>&1 || { echo >&2 "I require niv but it's not installed.  Aborting."; exit 1; }
type direnv >/dev/null 2>&1 || { echo >&2 "I require direnv but it's not installed.  Aborting."; exit 1; }
type lorri >/dev/null 2>&1 || { echo >&2 "I require lorri but it's not installed.  Aborting."; exit 1; }

git init # initialize git repository

patrl

newtype ContBool a = ContBool { (>-) :: (a -> Bool) -> Bool }

instance Functor ContBool where
    fmap f m = ContBool $ \k ->
        m >-
            \a ->
                k $ f a
            
instance Applicative ContBool where
    pure a = ContBool $ \k -> k a

patrl

eval "$(lorri direnv)"

patrl

You need at least WeeChat 2.8-dev

Enable mouse

/mouse enable

patrl

The existence of WSL 2, the nix package manager, and tweag.io's jupyterWith project make it (relatively) easy to set up a working jupyter notebook with the iHaskell kernel in windows 10.

Step 1: Install WSL 2

• If you don't already have it up and running, start by making you sure you have WSL 2 installed and activated, by following the instructions here. At the time of writing, you need to join the windows insiders program (slow ring is sufficient).
• I use Ubuntu from the windows store with WSL 2, but the following instructions should be compatible with any distribution.

Step 2: Install the nix package manager

patrl

\chapter{\emph{Irgendein} quantifier and local implicature}      % <=== TITLE HERE
\authorAndAffil{Anton Benz and Nicole Gotzner}{Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS)}   % AUTHOR
	%	\addsnippetauthor
		%\snippetauthor{AUTHOR4}{AUTHOR4AFFILIATION}
		%\addsnippetauthor
		%\snippetauthor{AUTHOR5}{AUTHOR5AFFILIATION}
%   
% \usepackage{mathptmx}
% \usepackage{parskip}
% \usepackage{booktabs}

patrl

--- a/config.def.h
+++ b/config.def.h
@@ -5,8 +5,8 @@
  *
  * font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
  */
-static char *font = "Liberation Mono:pixelsize=12:antialias=true:autohint=true";
-static int borderpx = 2;
+static char *font = "Input Mono:pixelsize=11:antialias=true:autohint=true";
+static int borderpx = 4;

patrl

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}

Module ForwardsBackwards where

import Data.Function ((&))

class A a b where
  apply :: a -> b
instance A (a -> b) (a -> b) where
  apply = ($)