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-08-09 00:30:29 +00:00
bf9b0aedf9 Edit and publish part 3
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-08 23:46:02 +00:00
cf1f1c0776 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-08 23:45:23 +00:00
21b2ff208e Edit and publish part 2
ecad4541f6 Add a (not-yet-valid) link to part 4
Compare 2 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-08-08 20:39:50 +00:00
12971450e3 Add guardedness to Main directly
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-05 02:33:53 +00:00
864276ea72 Delete .DS_Store file
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-16 21:32:16 +00:00
eb06a6fd72 Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-16 21:31:23 +00:00
23eb36b911 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-07-16 21:30:39 +00:00
acaa00754b Fix sidenotes bleeding into text inline
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-07 00:53:36 +00:00
cbaeda55b2 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-07 00:52:58 +00:00
51bcd116b3 Update other dates on lattice drafts
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-07 00:47:53 +00:00
d3a47f1884 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-07 00:47:04 +00:00
928adbd594 Publish Agda SPA post about lattices
e91b6f692f Publish introducton to SPA in Agda
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-07-07 00:36:58 +00:00
c00867d46b Markdown-ify sidenote labels
8c3d93bc2d Add a 'draft link' shortcode
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-06 03:47:02 +00:00
16c4df9a0d Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-06 03:45:58 +00:00
861dafef70 Finish up draft about lattices of finite height.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-05 19:10:30 +00:00
7dfca96a92 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-05 19:10:13 +00:00
388c23c376 Write more on finite height lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-28 05:32:45 +00:00
ddef357a6a Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-28 05:32:26 +00:00
82d9196c90 Update theme with bugfix
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-28 05:32:07 +00:00
f931e6eceb Properly close placeholder div