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-25 03:36:41 -07:00
5cccb97ede Add missing source file
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-25 03:35:34 -07:00
493419f324 Remove debug output
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-25 03:22:28 -07:00
577e0ad930 Finalize draft of polymorphism post
2a12f7f31e Switch to using type schemes and implement polymorphism in compiler series
ae3e661d7a Implement new ordered typing in compiler series
0efa05142f Separate definitions in compiler series
6714e18e7c Switch type environment to using pointers
Compare 5 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-24 17:53:16 -07:00
5d53678e83 Only store type in case expression
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-24 16:41:20 -07:00
3cb66a606d Make MathJax post public
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-15 18:43:37 -07:00
074db07275 Add 'math rendering is wrong' draft
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-14 21:04:23 -07:00
e3834ed6ea Explain graph code
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-14 17:18:12 -07:00
1bdb4a650e Start work on algorithms in compiler post 10
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-10 22:26:08 -07:00
6966973497 Set up script to test latest compiler version
8ee016e189 Fork into version 10 of the compiler for blog series
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-10 18:46:58 -07:00
fa0a96f057 Remove horizontal scroll because it adds vertical scroll (?).
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-10 18:40:03 -07:00
a2c84f5c40 Make KaTeX scrollable
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-10 18:36:44 -07:00
768c43df2d Write up the instantiation rule and the new type checking algorithm in compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-09 22:55:17 -07:00
579d988f4a Remove lambda abstraction rule from part 10 of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-09 22:30:33 -07:00
45bc113e3f Add some more text to polymorphism post
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-08 00:38:30 -08:00
1abc13b20f Allow stack cells to be bigger
cdc9e28c90 Remove sidenote from stack post
8a48a110ff Avoid duplicating generated CSS by splitting SASS into separate files
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-08 00:24:19 -08:00
0eb1abd26d Add note about n being zero to stack post
a7a6d7ff13 Stop using images and use HTML/CSS to render stacks
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-07 14:23:02 -08:00
fb544e0545 Fix missing argument to slide in stack recursion post
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-06 23:06:52 -08:00
84029fbc5b Finalize stack/recursion post
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-06 22:50:38 -08:00
8039e459fa Finalize stack draft writeup
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-06 21:28:28 -08:00
f202c8ea44 Start on the recursion tutorial post
d8d1aa66e6 Start working on explanations in Part 10 of Compiler series
79ef221820 Make KaTeX not break inside math, and clean up container code
Compare 3 commits »