diff --git a/acl.cool/site/draft/derive-appfun.dj b/acl.cool/site/draft/derive-appfun.dj
index 54cc72c..ad3bfd8 100644
--- a/acl.cool/site/draft/derive-appfun.dj
+++ b/acl.cool/site/draft/derive-appfun.dj
@@ -43,7 +43,7 @@ module FunctorOfMonad (M : Monad) :
end
```
-Each of these accepts an instance of a less general structure and uses only the elements the module provides to implement an instance of the more general structure. The last one is boring, obviously, being just the composition of the former two.
+Each of these accepts an instance of a less general structure and uses only the elements the module provides to implement an instance of the more general structure. The last one is boring, obviously, being just the composition of the former two, but those are a _little_ interesting.
It turns out that there are multiple ways to implement the derivation functors--- also multiple ways to implement a particular monad--- and they don't all behave the same. That makes it hard to predict whether the more-general, derived implementations are the "natural" ones that you expected to get without _ad hoc_ testing, which rather defeats the point of "gratis". On the other hand, the derivations here can be performed pretty mechanically, with little insight, by following the types in much the same way one might mechanically prove an easy proposition.
diff --git a/build.sh b/build.sh
index 10d13fb..95d1725 100755
--- a/build.sh
+++ b/build.sh
@@ -1,6 +1,6 @@
#! /usr/bin/env nix-shell
#! nix-shell -i bash --pure
-#! nix-shell -p bash harfbuzz soupault woff2 jotdown python3 --pure
+#! nix-shell -p bash harfbuzz soupault woff2 jotdown python3 recode --pure
if ! [[ -d pgvv/ ]]; then
python3 -m venv pgvv
@@ -21,7 +21,7 @@ source ./pgvv/bin/activate
find acl.cool/site/ ytheleus.org/site/ -type f \( -name '*.dj' -o -name '*.html' \) -exec cat {} + >all_chars.txt
cat common_chars.txt >>all_chars.txt
-for font in fonts/LiterataTT/LiterataTT-Subhead{Regular,Italic,Bold,BoldItalic}.woff2 \
+for font in fonts/LiterataTT/LiterataTT-Subhead{Regular,Italic,Medium,MediumItalic,Bold,BoldItalic}.woff2 \
fonts/JuliaMono/*{-Light,-Regular,-SemiBold}{,Italic}.woff2; do
woff2_decompress "$font"
ttf_font="${font%.woff2}.ttf"
diff --git a/css/fonts.css b/css/fonts.css
index 15307a4..a109981 100644
--- a/css/fonts.css
+++ b/css/fonts.css
@@ -28,28 +28,28 @@
@font-face {
font-family: 'Subheading';
- src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadMedium.woff2') format('woff2');
+ src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadMedium-Subset.woff2') format('woff2');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'Subheading';
- src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadMediumItalic.woff2') format('woff2');
+ src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadMediumItalic-Subset.woff2') format('woff2');
font-weight: normal;
font-style: italic;
}
@font-face {
font-family: 'Subheading';
- src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadSemibold.woff2') format('woff2');
+ src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadBold-Subset.woff2') format('woff2');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'Subheading';
- src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadSemiboldItalic.woff2') format('woff2');
+ src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadBoldItalic-Subset.woff2') format('woff2');
font-weight: bold;
font-style: italic;
}
diff --git a/syntax_wrapper.sh b/syntax_wrapper.sh
index ef19810..21164d7 100755
--- a/syntax_wrapper.sh
+++ b/syntax_wrapper.sh
@@ -1,9 +1,7 @@
-#! /usr/bin/env bash
+#! /usr/bin/env sh
-if [[ $# -lt 1 ]] || ! pygmentize -L lexers | grep -qw "$1"; then
- printf ""
- cat
- printf "
"
+if [ $# -lt 1 ] || ! pygmentize -L lexers | grep -qw "$1"; then
+ recode ascii..html
else
pygmentize -l $1 -f html | head -c -13 | awk -F '
' '{print $NF}' fi \ No newline at end of file