al/pages
1
0
Fork 0
Code Issues 3 Pull requests Projects Releases Packages Wiki Activity Actions

fixed syntax highlighting, finally, I hope

Browse source
This commit is contained in:
Alexander 2025-06-16 22:19:58 -04:00
parent 808ebfdfa2
commit 594b9ae2d2
4 changed files with 10 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
acl.cool/site/draft/derive-appfun.dj
View file

@ -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.

4
build.sh
View file

@ -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"

8
css/fonts.css
View file

@ -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;
}

8
syntax_wrapper.sh
View file

@ -1,9 +1,7 @@
#! /usr/bin/env bash
#! /usr/bin/env sh
if [[ $# -lt 1 ]] || ! pygmentize -L lexers | grep -qw "$1"; then
printf "<code>"
cat
printf "</code>"
if [ $# -lt 1 ] || ! pygmentize -L lexers | grep -qw "$1"; then
recode ascii..html
else
pygmentize -l $1 -f html | head -c -13 | awk -F '<pre>' '{print $NF}'
fi