Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 20:45:24 +00:00
f5c1772de0 Test update to blog-source
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:44:53 +00:00
272c2666c5 Inconsequential tweak to test Agda caching in build system
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 20:34:22 +00:00
0962df69ad Factor out building Agda HTML from building the blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:22:40 +00:00
60ba43378a Make the destination folders
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:17:55 +00:00
1da60b3b28 Print result of executing command
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:05:15 +00:00
ee118b07e5 Make build-agda-html.rb more configurable
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-16 23:17:36 +00:00
7dad80f44d Update blog source with theme fix
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-16 23:17:07 +00:00
d787548915 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-16 23:16:58 +00:00
f3bf27d4a1 Remove newlines from 'codeurl'
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-16 23:10:10 +00:00
9ea42f306b Udjust for blog no longer requiring a generated config file
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-16 22:53:19 +00:00
a29bca499f Switch to using data/ for submodule information
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-16 22:53:14 +00:00
77b8d5e65b Draw from 'data/' for submodule links
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-15 04:52:09 +00:00
1c3436fdc3 Update blog source
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-15 04:43:31 +00:00
60d3b3025a Flesh out the Lattices post some more
c036041339 Update theme
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-15 03:32:32 +00:00
e2fb9362f6 Tweak formattng of tables
038c8e0ac6 Enable bold Raleway loading
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/server-config 2024-05-14 02:51:13 +00:00
fc0ff8a586 Update flake.lock with new nixpkgs etc.
355dc7cf9d Update to proper version of nix.package
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-14 02:46:21 +00:00
6b8fa513b4 Update lock to new dependency versions
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-14 02:43:44 +00:00
c1283b0165 Use instable nix pkgs
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-14 02:16:58 +00:00
1df315612a Update "typesafe interpreter" article to new math delimiters
15beddf96b Update btree article with new math delimiters
20d8b18a9b Update 'stack language recursion' article to new math delimiters
53ff0c39e4 Update "search as polynomial" article to new math delimiters
357a3bef09 Update the modulo patterns article to use new delimiters
Compare 31 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-13 01:59:09 +00:00
e063ff6aa5 Update the vanilla theme