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 2023-05-14 21:18:37 -07:00
2bd776ec55 Add a description and disclaimer to the Alloy draft.
23cf7c9e8b Finish initial draft of the Alloy article.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-14 16:01:08 -07:00
384f5de765 Make some more progress on the Alloy article.
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-04 21:03:44 -07:00
9ae4798d80 Hide Alloy article even from draft side
850ccbdcee Update theme
d8ab3f2226 Continue working on the Alloy blog post
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-05-04 21:02:02 -07:00
7e3099aae3 Make the keywords not grey on dark mode
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-04 01:04:03 -07:00
9ddd2dd3bc Add initial draft of alloy article
DanilaFe pushed to master at DanilaFe/resume 2023-04-22 14:34:00 -07:00
a41834c1d1 Change 'expected' to 'completed'
DanilaFe pushed to master at Web-Projects/blog-static 2023-04-15 15:09:28 -07:00
f579641866 Add support for discussion rooms and add one to polynomial article
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-04-15 15:08:46 -07:00
d1e25ddf19 Add the option to specify discussion rooms on articles
DanilaFe pushed to master at Nix-Configs/server-config 2023-04-10 20:00:03 -07:00
b996c05034 Update configuration to work with updated blog static flake
DanilaFe pushed to master at Nix-Configs/server-config 2023-04-10 19:57:55 -07:00
3eb00b88cd Update configuration to work with updated blog static flake
7178d72575 Add new MacBook SSH key
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-04-10 19:54:38 -07:00
ab4b92d031 Remove accidental tabs
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-04-10 19:53:29 -07:00
211237d9be Remove module in favor of letting system configure nginx
DanilaFe pushed to master at Web-Projects/blog-static 2023-04-09 22:52:57 -07:00
a71c0c4e74 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-04-09 22:52:46 -07:00
926504ae07 Fix up search CSS a bit more
DanilaFe pushed to master at Web-Projects/blog-static 2023-04-09 22:40:46 -07:00
d3921f9e20 Update the theme to better deal with dark mode
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-04-09 22:33:15 -07:00
05f49998e7 Try fix text search on under dark mode
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-12 22:17:22 -07:00
880ade17dc Manually uncurry the success continuation (?)
DanilaFe pushed to master at Everything-I-Know.../unifyt 2023-03-12 21:05:17 -07:00
ef3dabfa22 Add a MonadRec instance to UnifyT
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-12 21:03:47 -07:00
3fe4f60542 Add experimental MonadRec instance for SFKT
DanilaFe pushed to master at Everything-I-Know.../bergamot 2023-03-12 00:41:54 -08:00
3aebd99805 Add an isInt primitive predicate
0c1deb4c8f Make int literals parseable
ac37e82979 Add integer and strings to the language
fe7c01f6c2 Add support for backslashes to identifiers
3ab3126bbf Extract latex generation to a typeclass
Compare 5 commits »