Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 20:52:50 -07:00
8e4759bd2b Start on the navigation links in Agda SPA intro
d2807917d2 Insert sequential links for series in analyze.rb
71c030b947 Slightly tweak wording and front matter in Agda SPA posts
1f3ab5349a Restore the dates in 'learning emulation' to their proper ones.
Compare 4 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 00:39:25 -07:00
61315cf94a Update blog source with new content graph script
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 00:38:46 -07:00
daaccb9b2f Add new groups to content graph script
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 00:32:47 -07:00
694d2fac14 Update blog source and publish Agda+Hugo
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 00:30:24 -07:00
b66c58b68e Lightly edit and publish the Agda+Hugo post
13636a0d29 Write more about Agda+Hugo
5232f0a6e2 Update theme with new code highlighting
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-27 18:58:14 -07:00
97e965feec Add a nicer comment color in dark mode
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-25 23:29:14 -07:00
feea668396 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-25 23:28:31 -07:00
6a168f2fe1 Start on a draft about Agda and Hugo
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-25 20:46:09 -07:00
850ddce3b9 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-25 20:45:34 -07:00
04f12b545d Minor edits to 'lattices 2'
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 23:25:29 -07:00
9adf19a79e Update blog source
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 23:22:14 -07:00
7d6f362936 Avoid using rev in Agda derivation
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 23:12:42 -07:00
711b01175d Put the number back to what it was
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 13:45:24 -07:00
f5c1772de0 Test update to blog-source
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 13:44:53 -07:00
272c2666c5 Inconsequential tweak to test Agda caching in build system
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 13:34:22 -07:00
0962df69ad Factor out building Agda HTML from building the blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 13:22:40 -07:00
60ba43378a Make the destination folders
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 13:17:55 -07:00
1da60b3b28 Print result of executing command
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 13:05:15 -07:00
ee118b07e5 Make build-agda-html.rb more configurable
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-16 16:17:36 -07:00
7dad80f44d Update blog source with theme fix