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-02-29 21:52:07 -08:00
277427af57 Add drone fix 1/?: set up ssh-agent
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 21:48:13 -08:00
f6c1079bda Try to set up drone for live CI uploads
252d82469c Add a latex macro to help escape and write multiline latex
1879ba2c2b Add styling for tables.
fc444c1986 Resume work on polymorphism post
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 17:54:07 -08:00
ae9805e4f2 Finish draft of Idris post
33b1457e91 Add first draft of Idris post
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-27 23:09:58 -08:00
9e399ebe3c Add initial draft of typesafe interpreter post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-23 21:29:49 -08:00
eac1151616 Do not attribute G-machine to SPJ specifically
f7a7100fea Reword explanation of Update + Pop
c207d1dfcf Remove unused line at the end of works1.txt
df051fd643 Fix n vs n-1 mistake
419ab937b6 Switch to full text RSS
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-16 22:55:34 -08:00
ee90351c17 Add Crystal Nix post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 19:28:30 -08:00
fbdbf67ce3 Add gettext to build requirements to satisfy flex
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 19:17:38 -08:00
a7e32d300a Add bison and flex to build requirements
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:56:59 -08:00
56387cb936 Add make to pacman command
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:53:43 -08:00
df965816ac Update pacman command to download database files.
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:52:11 -08:00
c7341c9b15 Try again to include all the required tooling
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:47:46 -08:00
00322d7e9f Try switch to an image with CMake.
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:41:05 -08:00
ef93632130 Add garbage collection post to main link
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:37:29 -08:00
0f744888ef Move testing code into a script
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 14:25:55 -08:00
a5b84bab69 Revert to YAML
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 14:20:53 -08:00
12725500a8 Try wrap pipeline in array
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 14:03:31 -08:00
1917c08e51 Messing around to try get the syntax right, part 2
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 14:02:24 -08:00
b304057560 Messing around to try get the syntax right
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 13:50:09 -08:00
e5a39d8dfb Replace ints with strings
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 13:48:37 -08:00
54ccef9c72 Remove string interpolation for a bit