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
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
type E = Int | |
type G = [Int] | |
newtype W = W Int deriving (Integral,Real,Enum,Num,Ord,Eq,Show) | |
type T = Bool |
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
#!/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 |
#!/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 |
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 |
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.
Getting stack to build my Hakyll sites on NixOS turned out to be non-trivial. Include the following files in the project directory.
\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} |
--- 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; |