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 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
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-16 16:17:07 -07:00
d787548915 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-16 16:16:58 -07:00
f3bf27d4a1 Remove newlines from 'codeurl'