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-03-01 05:52:07 +00:00
277427af57 Add drone fix 1/?: set up ssh-agent
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 05:48:13 +00: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-03-01 01:54:07 +00: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-28 07:09:58 +00:00
9e399ebe3c Add initial draft of typesafe interpreter post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-24 05:29:49 +00: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-17 06:55:34 +00:00
ee90351c17 Add Crystal Nix post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 03:28:30 +00:00
fbdbf67ce3 Add gettext to build requirements to satisfy flex
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 03:17:38 +00:00
a7e32d300a Add bison and flex to build requirements
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 02:56:59 +00:00
56387cb936 Add make to pacman command
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 02:53:43 +00:00
df965816ac Update pacman command to download database files.
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 02:52:11 +00:00
c7341c9b15 Try again to include all the required tooling
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 02:47:46 +00:00
00322d7e9f Try switch to an image with CMake.
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 02:41:05 +00:00
ef93632130 Add garbage collection post to main link
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 02:37:29 +00:00
0f744888ef Move testing code into a script
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 22:25:55 +00:00
a5b84bab69 Revert to YAML
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 22:20:53 +00:00
12725500a8 Try wrap pipeline in array
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 22:03:31 +00:00
1917c08e51 Messing around to try get the syntax right, part 2
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 22:02:24 +00:00
b304057560 Messing around to try get the syntax right
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 21:50:09 +00:00
e5a39d8dfb Replace ints with strings
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 21:48:37 +00:00
54ccef9c72 Remove string interpolation for a bit