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-09-15 10:34:45 -07:00
dde7df4604 Update to new Bergamot version
e4101f1396 Fix missing paren
Compare 2 commits »
DanilaFe pushed to main at Everything-I-Know.../bergamot-elm 2024-09-15 10:30:14 -07:00
e7d3e840b3 Allow input mode code to provide custom error messages
a17ea205c7 Clear 'Failed' flag when input changes
2a0db676bc Remove useless inputRules flag
a7b3efe56c Tweak API to support syntax errors in custom parsing
ec0b05ab51 Make 'language term' just a custom mode
Compare 8 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-31 11:38:24 -07:00
507a8fa0ea Update blog
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