blog-static

710 Commits 8 Branches 0 Labels 32 MiB

master

c6e2ecb996 · Add first section of Agda program analysis article · Geupdate 2024-03-14 22:25:17 -07:00

donations d5f478b3c6 · Add donations · Geupdate 2021-08-23 18:41:46 -07:00	207 0	Inbegrepen	ZIP TAR.GZ
search e0451d026c · Update index. · Geupdate 2020-12-28 22:32:24 -08:00	255 0	Inbegrepen	ZIP TAR.GZ
localization 0b5748cc5a · Add links in part 0 of compiler series. · Geupdate 2020-09-07 00:21:01 -07:00	351 8		ZIP TAR.GZ
colors 49469bdf12 · Fix issues in typesafe interpreter article. · Geupdate 2020-08-12 15:43:22 -07:00	354 0	Inbegrepen	ZIP TAR.GZ
table-of-contents e7d56dd4bd · Clean up some styles. · Geupdate 2020-07-15 13:56:03 -07:00	386 0	Inbegrepen	ZIP TAR.GZ
margin-rework 71fc0546e0 · Move move code into common 'margin node' mixin. · Geupdate 2020-06-24 22:06:08 -07:00	394 0	Inbegrepen	ZIP TAR.GZ
sidenotes f75a47e273 · Add post about sidenotes · Geupdate 2019-12-08 23:47:52 -08:00	597 0	Inbegrepen	ZIP TAR.GZ