From f47e9ebddca32e46aee1ffe2ed2fb390f5f5cbea Mon Sep 17 00:00:00 2001
From: Johnson He <hejohns@umich.edu>
Date: Sat, 17 Jul 2021 00:32:46 +0000
Subject: [PATCH] latexdiff is seriously a pain. But if it works...

---
 9-type-aliases-redux/latex/gendiff.sh         |   3 +++
 .../latex/kind-judgements.pdf                 | Bin 207620 -> 207620 bytes
 .../latex/kind-judgements.tex                 |   3 ---
 3 files changed, 3 insertions(+), 3 deletions(-)
 create mode 100644 9-type-aliases-redux/latex/gendiff.sh

diff --git a/9-type-aliases-redux/latex/gendiff.sh b/9-type-aliases-redux/latex/gendiff.sh
new file mode 100644
index 0000000..6172cb1
--- /dev/null
+++ b/9-type-aliases-redux/latex/gendiff.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+git latexdiff --lualatex --math-markup=fine --append-safecmd='inferrule' --allow-spaces -o kind-judgements.diff.pdf 4410cd565ce717707e580e44f64868d3175fe2a6 --
diff --git a/9-type-aliases-redux/latex/kind-judgements.pdf b/9-type-aliases-redux/latex/kind-judgements.pdf
index ef7d704ad7aca835b906c6df677da3185037b223..79c56e8a4b540df0239e081f5d998160977d1582 100644
GIT binary patch
delta 116
zcmZp<#?x|*r=f+hg=q`(buo5x0|O&NQ={qk#F*in?Z3sC^@N-)jZEFl%naO|4Bbpk
jEFDcOU0t0Fj2tZ;EnM8(OpKiD6l@47*`A}xJcAJcNnaim

delta 116
zcmZp<#?x|*r=f+hg=q`(buo4`BV!W_6NBmZ#F*in?Z3sC^@N;Foz0z$Ele$q3>_^^
jO`Qxa-OLOv4b3fGObm=%T@79B6l@47*`A}xJcAJcI_Djb

diff --git a/9-type-aliases-redux/latex/kind-judgements.tex b/9-type-aliases-redux/latex/kind-judgements.tex
index 48bc058..6b13958 100644
--- a/9-type-aliases-redux/latex/kind-judgements.tex
+++ b/9-type-aliases-redux/latex/kind-judgements.tex
@@ -60,9 +60,6 @@
 \newcommand{\htdefine}[3]{\textt{type }#1 \textt{ = } #2\textt{ in }#3}
 \newcommand{\dtdefine}[4]{\textt{type }#1 \textt{ = } #2 : #3\textt{ in }#4}
 
-\providecommand{\DIFdel}[1]{{\color{red}#1}}
-\providecommand{\DIFadd}[1]{{\color{blue}#1}}
-
 \begin{document}
 
 \begin{figure}[t]