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 2020-04-26 19:56:30 -07:00
a441280812 Add article about Crystal and Nix with OpenSSL.
eda9bbb191 Add more to part 12 of compiler series
2d9da2899f Switch to no line breaks (for Ghostwriter support)
Compare 3 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-25 22:34:38 -07:00
2c18e3af96 Add new package to overlay
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-25 22:33:47 -07:00
494be4495f Add build file for Joann's Pupper Bot
8fc680055f Add a wrapper around buildCrystalPackage to allow for nonstandard shard configurations.
Compare 2 commits »
DanilaFe pushed to master at CS-46X/dd 2020-04-23 22:54:51 -07:00
a93d62d18b Update design doc
e5e163174b Change file extension to adhere to convention.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-22 00:30:56 -07:00
a95490d9d4 Add more content to part 12 of compiler series
44135b1824 Add experimental figure-based styles
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-21 20:44:41 -07:00
4a0367b401 Start work on part 12 of compiler series
DanilaFe pushed to master at DanilaFe/custom-nix 2020-04-14 19:23:23 -07:00
4d6ccab45f Update website to fix error in new post
DanilaFe pushed to master at Web-Projects/blog-static 2020-04-14 19:22:07 -07:00
c1f0104edb Add missing arity checks to compiler series
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.