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 11:37:44 -07:00
d94ceeab2e Make minor edits to part 5 of SPA
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 18:07:52 -07:00
0ebeb2f4ff Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 18:06:16 -07: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-18 17:17:17 -07:00
3ccd612c87 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 17:17:04 -07: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-18 17:08:16 -07:00
e80bb5010e Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 17:07:43 -07: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 16:32:45 -07:00
9ea34ddf5f Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 16:31:19 -07: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 15:31:02 -07:00
6ad81dae17 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 15:29:51 -07:00
292cf009e6 Remove --local-interfaces as it is no longer needed
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 14:14:35 -07:00
1af36f4ab9 Update blog
fcedeaaa87 Update blog
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 14:14:22 -07:00
6bf7659b19 Fix line numbering issues due to updating Agda
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 14:06:12 -07: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 13:29:54 -07:00
828b652d3b Rename 'a' to 'b' in fixedpoint algorithm proof
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 06:49:11 -07:00
dea14d236b Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-09 06:48:36 -07:00
7ccbaa7829 Make sure all links are consistent
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