Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Everything-I-Know.../bergamot 2023-03-03 23:23:16 -08:00
755d514342 Extract UnifyT into its own package and get an example going
7fc58ce0af Add initial version of unification monad transformer
394fab8914 Initial commit + basic Expr impl
DanilaFe created repository Everything-I-Know.../bergamot 2023-03-03 23:22:59 -08:00
DanilaFe pushed to master at Everything-I-Know.../unifyt 2023-03-03 23:00:25 -08:00
d1e227dbed Delete unused imports to silence warnings
DanilaFe pushed to master at Everything-I-Know.../unifyt 2023-03-03 22:58:05 -08:00
80dc5b6a2c Use derive newtype instance to save some boilerplate
DanilaFe pushed to master at Everything-I-Know.../unifyt 2023-03-03 22:48:28 -08:00
734f231250 Remove main module
DanilaFe pushed to master at Everything-I-Know.../logict 2023-02-28 19:18:08 -08:00
24298710fa Remove unused imports
DanilaFe pushed to master at Nix-Configs/server-config 2023-02-19 22:58:23 -08:00
513edc34ce Update lockfile to push website forward
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-02-19 22:57:16 -08:00
d44e5fc12f Update blog and resume code
DanilaFe pushed to master at Web-Projects/blog-static 2023-02-19 22:50:04 -08:00
cc2b5ef918 Remove the resume, as it's now auto-built
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 22:46:07 -08:00
36fcd6d66f Copy the necessary JS into the Nix build.
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 22:39:47 -08:00
8f274700ab Include feather.min.js to make sure offline builds work
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 22:23:10 -08:00
3107132b50 Copy fonts into build directory
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 22:08:42 -08:00
17ab717ae1 Locally provide fonts and try add more breathing room to resume
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2023-02-19 21:50:09 -08:00
d065ca364e Build resume using nix derivation
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 21:36:27 -08:00
984256a0fa Add flake lockfile
2d5098909c Add a nix expression for building the resume.
Compare 2 commits »
DanilaFe created branch auto-build in DanilaFe/resume 2023-02-19 20:06:54 -08:00
DanilaFe pushed to auto-build at DanilaFe/resume 2023-02-19 20:06:54 -08:00
8fbb3feb62 WIP
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 16:49:44 -08:00
c0fdf37da9 Add Chapel position
7e2ff6f0e7 Hide the awards section (it's underwhelming?)
4bcb3f7a85 Add COLA
Compare 3 commits »
DanilaFe pushed to master at DanilaFe/resume 2023-02-19 15:44:42 -08:00
efe0bb4564 Replace Scylla with matrix-highlight
54f268d76e Make tweaks to make printing and previewing easier
5ad07166b5 Tweak typescript description somewhat and add project link
cfa31fbbfb Censore phone number
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2023-02-19 15:30:34 -08:00
d003fdf357 Update theme