Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to main at DanilaFe/formal-interview 2024-09-23 02:48:06 +00:00
1f7dd876b5 Slightly clean up some comments
DanilaFe created branch main in DanilaFe/formal-interview 2024-09-23 02:13:18 +00:00
DanilaFe pushed to main at DanilaFe/formal-interview 2024-09-23 02:13:18 +00:00
e8460ab42f Add initial formal + static semantics of language 'A'
DanilaFe created repository DanilaFe/formal-interview 2024-09-23 02:12:47 +00:00
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-16 03:11:52 +00:00
8546a16acd Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-16 03:11:27 +00:00
77dade1d1d Move all bergamot partials and shortcodes into theme
d140422225 Update theme
2defe99c73 Update theme w/ more Bergamot affordances
0766211d79 Turn semantics post into page bundle
b854eade3c Remove configs from website that are now defined in theme
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-16 03:10:20 +00:00
dde3fb61ae Move all bergamot partials and shortcodes into theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-16 03:04:08 +00:00
378a6f2ae1 Load custom JS scripts if page specifies them
aae8912c08 Add support for custom input modes
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 23:39:53 +00:00
c32e922940 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 23:39:28 +00:00
0ba5799c75 Update theme with missing file
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-15 23:39:11 +00:00
84278b2e91 Update theme with missing file
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 23:37:18 +00:00
eb1710b902 Update blog and bergamot
DanilaFe pushed to master at Nix-Configs/web-files 2024-09-15 23:35:11 +00:00
86e8832d1a Update Bergamot
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 23:34:13 +00:00
324fa948e6 Bring in more theme updates
3e46ff8be6 Update vanilla theme to handle loading Bergamot
18eb1da5ba Allow render rules to be customized using render presets
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-15 23:33:56 +00:00
3a281dfa8a Load presets from front matter + allow both bundled and global bergamot files
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2024-09-15 23:33:37 +00:00
c77bb6f900 Add some forward-only arithmetic operations and make rho render as LaTeX
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-15 22:36:32 +00:00
dee7579b29 Move bergamot widget into blog theme
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 17:41:16 +00:00
d4d627889a Update with new Bergamot version
DanilaFe pushed to master at Nix-Configs/web-files 2024-09-15 17:38:16 +00:00
0369e5c298 Update bergamot
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 17:34:45 +00:00
dde7df4604 Update to new Bergamot version
e4101f1396 Fix missing paren
Compare 2 commits »