Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to colors at Web-Projects/blog-static 2020-08-12 17:03:13 -07:00
49469bdf12 Fix issues in typesafe interpreter article.
DanilaFe pushed to master at DanilaFe/resume 2020-08-12 16:51:35 -07:00
db30141c08 Disable font ligatures.
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-12 15:49:02 -07:00
b0e501f086 Publish the new typesafe interpreter post.
385ae59133 Merge branch 'colors' into master
49469bdf12 Fix issues in typesafe interpreter article.
020417e971 Add draft of new Idris typechecking post.
eff0de5330 Allow the codelines shortcode to use hl_lines.
Compare 7 commits »
DanilaFe pushed to master at CS-162-Reference/Early-Projects 2020-08-12 14:50:52 -07:00
77074f02e6 Add early projects markdown file.
DanilaFe created repository CS-162-Reference/Early-Projects 2020-08-12 14:50:37 -07:00
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-12 01:41:41 -07:00
068d0218b0 Fix typesafe interpreter post.
3e9f6a14f2 Fix single-line scroll bug
Compare 2 commits »
DanilaFe pushed to colors at Web-Projects/blog-static 2020-08-12 01:39:05 -07:00
020417e971 Add draft of new Idris typechecking post.
eff0de5330 Allow the codelines shortcode to use hl_lines.
b219f6855e Change highlight color for code.
65215ccdd6 Start working on improving color handling in code.
3e9f6a14f2 Fix single-line scroll bug
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 02:05:54 -07:00
7623787b1c Mention Kai's help in time traveling article.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 01:09:36 -07:00
e15daa8f6d Make the detailed time traveling example a subsection.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 00:59:01 -07:00
298cf6599c Publish time traveling post.
841930a8ef Add time traveling code.
9b37e496cb Add figure size classes to global CSS.
58e6ad9e79 Update lazy evaluation post with images and more.
3aa2a6783e Add images to time traveling post.
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 13:50:16 -07:00
ba141031dd Remove the tweet shortcode.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 13:45:35 -07:00
ebdc63f5a0 Make small edit to DELL post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 13:41:41 -07:00
5af0a09714 Publish DELL post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-22 14:38:07 -07:00
8a2bc2660c Update date on typesafe interpreter.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-22 14:35:26 -07:00
e59b8cf403 Edit and publish typesafe interpreter.
b078ef9a22 Remove implicit arguments from TypsafeIntrV2.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-21 15:35:09 -07:00
fdaec6d5a9 Make small adjustments to backend math post.
b631346379 Publish the mathematics post.
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2020-07-21 00:40:35 -07:00
05fcf11094 Pull upstream changes.
0752c56004 Pull and publish 12th part of compiler series.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-20 22:35:46 -07:00
e9f2378b47 Resume working on the draft of time traveling.
7d2f78d25c Add links and make small clarifications.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-19 23:19:16 -07:00
1f734a613c Add the second part of the typechecking post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-19 17:17:49 -07:00
a3c299b057 Start working on the improved type-safe interpreter.
12aedfce92 Make small fixes to math rendering code.
Compare 2 commits »