Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to main at DanilaFe/agda-spa 2024-08-08 13:39:50 -07:00
12971450e3 Add guardedness to Main directly
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-04 19:33:53 -07:00
864276ea72 Delete .DS_Store file
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-16 14:32:16 -07:00
eb06a6fd72 Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-16 14:31:23 -07:00
23eb36b911 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-07-16 14:30:39 -07:00
acaa00754b Fix sidenotes bleeding into text inline
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-06 17:53:36 -07:00
cbaeda55b2 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-06 17:52:58 -07:00
51bcd116b3 Update other dates on lattice drafts
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-06 17:47:53 -07:00
d3a47f1884 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-06 17:47:04 -07: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-06 17:36:58 -07: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-05 20:47:02 -07:00
16c4df9a0d Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-05 20:45:58 -07:00
861dafef70 Finish up draft about lattices of finite height.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-05 12:10:30 -07:00
7dfca96a92 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-05 12:10:13 -07:00
388c23c376 Write more on finite height lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-27 22:32:45 -07:00
ddef357a6a Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-27 22:32:26 -07:00
82d9196c90 Update theme with bugfix
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-27 22:32:07 -07:00
f931e6eceb Properly close placeholder div
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-27 22:27:27 -07:00
f6641f5296 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-27 22:26:12 -07:00
826a16eb66 Start working on part 3
0b97eb85a1 Update theme
a2132001e8 Update theme
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-26 19:49:19 -07:00
acf86b8d76 Add a placeholder for "next in series" if the series is ongoing
a5cda19e5e Remove unused whitespace in seriesnav.html
Compare 2 commits »