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-22 19:13:18 -07:00
e8460ab42f Add initial formal + static semantics of language 'A'
DanilaFe created repository DanilaFe/formal-interview 2024-09-22 19:12:47 -07:00
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 20:11:52 -07:00
8546a16acd Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 20:11:27 -07: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-15 20:10:20 -07:00
dde3fb61ae Move all bergamot partials and shortcodes into theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-15 20:04:08 -07: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 16:39:53 -07:00
c32e922940 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 16:39:28 -07:00
0ba5799c75 Update theme with missing file
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-15 16:39:11 -07:00
84278b2e91 Update theme with missing file
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 16:37:18 -07:00
eb1710b902 Update blog and bergamot
DanilaFe pushed to master at Nix-Configs/web-files 2024-09-15 16:35:11 -07:00
86e8832d1a Update Bergamot
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 16:34:13 -07: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 16:33:56 -07: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 16:33:37 -07: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 15:36:32 -07:00
dee7579b29 Move bergamot widget into blog theme
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 10:41:16 -07:00
d4d627889a Update with new Bergamot version
DanilaFe pushed to master at Nix-Configs/web-files 2024-09-15 10:38:16 -07:00
0369e5c298 Update bergamot
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