Danila Fedorin DanilaFe
Loading Heatmap…

DanilaFe pushed to master at Web-Projects/blog-static

1 week ago

DanilaFe pushed to master at Web-Projects/blog-static

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

2 months ago

DanilaFe pushed to master at Web-Projects/vanilla-hugo

2 months ago

DanilaFe pushed to master at Web-Projects/vanilla-hugo

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

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

3 months ago

DanilaFe pushed to master at Web-Projects/blog-static

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

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

  • 57aecc46be Update and publish catamorphism article

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

4 months ago