Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
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 »
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-12 00:31:17 -08:00
e19721af5e Avoid calling failure continuation in msplit
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-12 00:03:04 -08:00
9f91c31b2d Add a lazy instance for LogicT.
DanilaFe pushed to master at Everything-I-Know.../logict 2023-03-11 23:36:11 -08:00
398fccecf0 Fix StateT and ReaderT interleave instances