DanilaFe pushed to master at Web-Projects/blog-static
-
bd8c9d8cdc Add draft of compiler article
1 week ago
DanilaFe pushed to master at Web-Projects/blog-static
-
562eea4a21 Add draft of compiler article
1 week ago
DanilaFe pushed to master at Web-Projects/blog-static
-
10a4435760 Continue work on the type theory draft
2 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
bc52c2c685 Use the new dialog environment to discuss the meaning of n
-
81c8b2a903 Update theme
- Compare 2 commits »
2 months ago
DanilaFe pushed to master at Web-Projects/vanilla-hugo
-
3858441c89 Add a WIP dialog shortcode
2 months ago
DanilaFe pushed to master at Web-Projects/vanilla-hugo
-
38595a7314 Add a WIP dialog shortcode
2 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
5ef10238e3 Start working on the basics part of the type systems articles
2 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
d2e8f809d0 Write some more for types series' intro.
2 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
8e550dc982 Start working on types series?
-
ed81ca957b Add missing backslashes to post
- Compare 2 commits »
2 months ago
DanilaFe pushed to master at DanilaFe/dotfiles
-
934920a052 Reduce the gaps. I really don't need that much space.
3 months ago
DanilaFe pushed to master at DanilaFe/dotfiles
-
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 »
3 months ago
DanilaFe pushed to master at Nix-Configs/blog-static-flake
-
1c0c7355c1 Use Nix function to perform replacement
4 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
2474804258 Update the resume to fix link typo
4 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
e23dc1c063 Fix invalid KaTeX escape characters
4 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
9b28528acc Update generated files
4 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
86fd460a7a Revert "Remove generated files"
4 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
609b8c76b6 Remove generated files
4 months ago
DanilaFe pushed to master at Web-Projects/blog-static
-
57aecc46be Update and publish catamorphism article
4 months ago