Danila Fedorin DanilaFe
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-01-31 18:55:16 -08:00
e431d65659 Add series to the article header
7b684a18a9 Tweak series marker colors
5f1871e11c Make post subscripts no longer grey
115057d837 Start working on series pages
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-29 21:13:07 -08:00
846d85bb7a Add missing source file to typeclasses-are-logic post
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-29 21:08:39 -08:00
b492c2d0fb Add more drafts
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-29 21:00:35 -08:00
1a6f5e061b Add a very rough draft of the idris catemorphisms article I found lying around
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-01-01 20:54:21 -08:00
1b7cf307db Update blog source with diff fixes
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 20:53:08 -08:00
5c62107e3b Put language code back into config.toml
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-01-01 19:55:24 -08:00
65efe9d60b Update blog with fix for double quote issue
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-01-01 19:48:01 -08:00
e7cada3764 Fix double quote in tags list
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 19:37:16 -08:00
0891c5da62 Update theme
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-01-01 16:14:01 -08:00
aec571a4a5 Update blog version
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 15:28:40 -08:00
2d22f0b2f2 Remove the code for the linear multistep article, too
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 15:09:55 -08:00
1961e545c0 Extract compiler into its own repo
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 14:32:51 -08:00
7951fcc494 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-01-01 14:32:32 -08:00
efa9da8cd1 Make table of contents lines wrap
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-01-01 13:34:16 -08:00
85373a73b0 Adjust builder for the removal of the graph static directory
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 13:23:13 -08:00
6bf0b37694 Move the content graph layout into theme
7a51132e69 Add back the tags page content via Markdown
98f071df6d Update theme
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-01-01 13:20:13 -08:00
84274f5c08 Move the content graph layout into theme
32738ce835 Add more translations
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-01-01 12:41:38 -08:00
2f4e5f58a0 Remove hardcoded English from tag page content
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-01-01 12:31:53 -08:00
98ee4bd8f3 Add i18n support to the theme
DanilaFe pushed to master at Web-Projects/blog-static 2023-01-01 12:31:44 -08:00
9543296ffd Delete some generated files in favor of generating them at build time
16dd545c22 Make use of the theme's supported i18n features
Compare 2 commits »