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-31 18:37:44 +00:00
d94ceeab2e Make minor edits to part 5 of SPA
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-19 01:07:52 +00:00
0ebeb2f4ff Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-19 01:06:16 +00:00
697f083237 Reference more future posts in SPA intro
3e97fdcfea Start work on the draft about semantics
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-19 00:17:17 +00:00
3ccd612c87 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-19 00:17:04 +00:00
40007c427e Avoid using a non-greedy match and just avoid $ in {{< latex >}}
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-19 00:08:16 +00:00
e80bb5010e Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-19 00:07:43 +00:00
5ab0d0d40e Use a non-greedy match for the double-dollar-sign escaping
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 23:32:45 +00:00
9ea34ddf5f Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 23:31:19 +00:00
7c65afbc93 Fix more line numbers
fb071e55aa Update 'submodules.json' with new submodule
406c934b7a Update code in blog post to match new line numbers
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 22:31:02 +00:00
6ad81dae17 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 22:29:51 +00:00
292cf009e6 Remove --local-interfaces as it is no longer needed
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 21:14:35 +00:00
1af36f4ab9 Update blog
fcedeaaa87 Update blog
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 21:14:22 +00:00
6bf7659b19 Fix line numbering issues due to updating Agda
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 21:06:12 +00:00
0a90e8da29 Write a draft of the fixed point algorithm article
32fe8e5ee6 Update the referenced Agda submodule
Compare 2 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-08-18 20:29:54 +00:00
828b652d3b Rename 'a' to 'b' in fixedpoint algorithm proof
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 13:49:11 +00:00
dea14d236b Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-09 13:48:36 +00:00
7ccbaa7829 Make sure all links are consistent
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 00:55:24 +00:00
9c7ad6ea08 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-09 00:55:00 +00:00
7817c9a4ce Add draft link support to analyze.rb
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 00:31:02 +00:00
be048c72c6 Update blog