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 2022-07-04 03:43:19 +00:00
10a4435760 Continue work on the type theory draft
DanilaFe pushed to master at Web-Projects/blog-static 2022-07-02 23:16:35 +00:00
bc52c2c685 Use the new dialog environment to discuss the meaning of n
81c8b2a903 Update theme
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2022-07-02 23:15:53 +00:00
3858441c89 Add a WIP dialog shortcode
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2022-07-02 23:14:44 +00:00
38595a7314 Add a WIP dialog shortcode
DanilaFe pushed to master at Web-Projects/blog-static 2022-07-01 04:59:07 +00:00
5ef10238e3 Start working on the basics part of the type systems articles
DanilaFe pushed to master at Web-Projects/blog-static 2022-06-28 04:34:38 +00:00
d2e8f809d0 Write some more for types series' intro.
DanilaFe pushed to master at Web-Projects/blog-static 2022-06-28 02:39:07 +00:00
8e550dc982 Start working on types series?
ed81ca957b Add missing backslashes to post
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/dotfiles 2022-06-03 22:53:56 +00:00
934920a052 Reduce the gaps. I really don't need that much space.
DanilaFe pushed to master at DanilaFe/dotfiles 2022-06-03 22:49:27 +00:00
771f79cde4 Comment out deprecated property
edc3ccce17 Update snippet lists
cedb3a802a Update vim plug
6c8524d0e7 Update configuration to use neovim's internal language server support
b356636de7 Add more languages and plugins
Compare 5 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2022-05-15 18:44:14 +00:00
f8ab8257e7 Remove phone number
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2022-05-01 20:12:55 +00:00
1c0c7355c1 Use Nix function to perform replacement
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-30 22:25:03 +00:00
2474804258 Update the resume to fix link typo
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-29 05:46:39 +00:00
e23dc1c063 Fix invalid KaTeX escape characters
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-26 20:19:13 +00:00
9b28528acc Update generated files
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-26 20:16:10 +00:00
86fd460a7a Revert "Remove generated files"
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-26 20:05:03 +00:00
609b8c76b6 Remove generated files
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-24 08:10:10 +00:00
57aecc46be Update and publish catamorphism article
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-23 01:55:40 +00:00
ded50480a8 Update resume
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-23 00:20:43 +00:00
4043a5c1a3 Add a draft of the catmorphisms post
DanilaFe pushed to master at Web-Projects/blog-static 2022-04-10 20:12:00 +00:00
b96d405270 Change tags on Nix Blog article