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-11-16 15:28:58 -08:00
cc79adb0d2 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-16 15:28:33 -08:00
e5fb0a2929 Write more
3bd1f0c8a0 Update Agda SPA imp
948759b7d4 Update the SPA repo
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-16 15:26:08 -08:00
dd5f160246 Update blog
DanilaFe pushed to main at DanilaFe/agda-spa 2024-11-16 15:16:08 -08:00
9131214880 Slightly clean up import for in-dec for Graph edges
DanilaFe pushed to main at DanilaFe/agda-spa 2024-11-16 14:42:42 -08:00
4fba1fe79a Remove unused 'singleton' calls for if/else CFGs
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-13 19:57:25 -08:00
f2e424944e Start working on the control flow graphs post
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-06 10:44:41 -08:00
08246ed696 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-06 10:44:14 -08:00
8a471c6b45 Add missing imp.bergamot file for rendering imperative programs
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-03 18:00:32 -08:00
4001c236f2 Update with fix for blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-03 17:59:55 -08:00
9b93582d18 Fix meta description on part 4 of SPA
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-03 17:52:55 -08:00
68406e3947 Update with new blog posts that use new Bergamot
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-03 17:51:52 -08:00
9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates
f00c69f02c Edit and publish SPA part 5
4fc1191d13 Proofread and publish part 4
951aafc90a Stop using 'symeq'
ee13409b33 Add a visualization of two ASTs
Compare 7 commits »
DanilaFe pushed to master at Nix-Configs/web-files 2024-11-03 17:15:52 -08:00
eb37a514d9 Update static files with new Bergamot version
DanilaFe pushed to main at Everything-I-Know.../bergamot-elm 2024-11-03 17:13:27 -08:00
2af1692bf4 Remove symeq
0b4a1f2ebd Implement hidden sections
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-10-28 22:01:42 -07:00
37dd9ad6d4 Write the semantics section using Bergamot
DanilaFe pushed to next at DanilaFe/formal-interview 2024-09-24 18:46:42 -07:00
ab56a8414f Add proof of equivalence of the two languages
DanilaFe created branch next in DanilaFe/formal-interview 2024-09-23 00:29:17 -07:00
DanilaFe pushed to next at DanilaFe/formal-interview 2024-09-23 00:29:17 -07:00
62f59a9a4d Add a formalization of the nested-loop language
deb4378af2 Extract values into a separate module
d763d7a639 Rename language file
Compare 3 commits »
DanilaFe pushed to main at DanilaFe/formal-interview 2024-09-22 19:48:06 -07:00
1f7dd876b5 Slightly clean up some comments
DanilaFe created branch main in DanilaFe/formal-interview 2024-09-22 19:13:18 -07:00