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-08-08 17:55:24 -07:00
9c7ad6ea08 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-08 17:55:00 -07:00
7817c9a4ce Add draft link support to analyze.rb
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-08 17:31:02 -07:00
be048c72c6 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-08 17:30:29 -07:00
bf9b0aedf9 Edit and publish part 3
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-08 16:46:02 -07:00
cf1f1c0776 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-08 16:45:23 -07: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 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