Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-14 19:09:44 -07:00
771317bc33 Update website to include new post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-14 19:06:34 -07:00
c9a7fbf6dd Finalize part 10 of compiler series
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-14 16:20:25 -07:00
1f00b6a3f8 Make compiler check for arity in part 11 of compiler series.
acb22c4119 Finish draft of part 11 of compiler series
be2b855ffe Rename inaccurately named rule
88c9418350 Update example to include polymorphism
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-14 00:15:37 -07:00
2255543d94 Add more work on part 11 of compiler series
b4c91d2dd4 Adjust grammar to allow for broader range of type inputs.
98c1b5a3b2 Make substitution replace types at every lookup step
122a1d73d3 Integrate new types into the rest of the project
74e6dba914 Add parsed type data structure, type application and arity.
Compare 5 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-11 00:51:33 -07:00
d7846e0b32 Fork off code for part 11 of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-09 22:55:05 -07:00
902ffc0bc0 Add missing backslashes
8c1168d818 Add seemingly missing string includes.
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-08 21:55:22 -07:00
13a0f1a398 Update blog to remove Google Analytics
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-08 21:50:47 -07:00
fd77fe078a Disable Google Analytics
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 23:48:05 -07:00
421be85def Build pegasus with Crystal 0.31
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 22:33:39 -07:00
1b175b739b Do not render math inside code blocks.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 21:00:35 -07:00
2fb5691596 Switch URL.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 20:54:39 -07:00
c9adce3aad Fix previous commit; add missing files.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 20:52:16 -07:00
243376c2f2 Try node2nix again, with custom package lists this time.
5dee6169ce Remove dysfunctional katex package
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 20:03:06 -07:00
876e37fba8 Also add package-lock.json
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 20:00:48 -07:00
e317062d09 Add package.json and see if that helps
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 19:58:44 -07:00
3f0f889fb7 Try switching to Node 10
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 19:51:20 -07:00
3288a829ba Try using development packages to see if that fixes it
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 19:43:34 -07:00
954ae1567a Update node packages with lock file
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 19:21:36 -07:00
efb82dbf3c Add KaTeX package
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-07 19:20:41 -07:00
f2cd4964af Try use KaTeX for builds without NPM