Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
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'
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-16 16:10:10 -07:00
9ea42f306b Udjust for blog no longer requiring a generated config file
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-16 15:53:19 -07:00
a29bca499f Switch to using data/ for submodule information
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-16 15:53:14 -07:00
77b8d5e65b Draw from 'data/' for submodule links