Getting stack to build my Hakyll sites on NixOS turned out to be non-trivial. Include the following files in the project directory.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- a/config.def.h 2018-03-20 21:29:59.000000000 +0100 | |
+++ b/config.def.h 2018-09-14 22:58:13.142135461 +0200 | |
@@ -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; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# 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 = ($) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- 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; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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} |
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.
- 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.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |