Commit Graph

404 Commits

Author SHA1 Message Date
Danila Fedorin be2b855ffe Rename inaccurately named rule 2020-04-14 15:58:25 -07:00
Danila Fedorin 88c9418350 Update example to include polymorphism 2020-04-14 15:58:13 -07:00
Danila Fedorin 2255543d94 Add more work on part 11 of compiler series
continuous-integration/drone/push Build is failing Details
2020-04-14 00:15:32 -07:00
Danila Fedorin b4c91d2dd4 Adjust grammar to allow for broader range of type inputs. 2020-04-13 23:17:34 -07:00
Danila Fedorin 98c1b5a3b2 Make substitution replace types at every lookup step 2020-04-13 17:59:57 -07:00
Danila Fedorin 122a1d73d3 Integrate new types into the rest of the project 2020-04-13 17:12:43 -07:00
Danila Fedorin 74e6dba914 Add parsed type data structure, type application and arity. 2020-04-13 17:08:03 -07:00
Danila Fedorin d7846e0b32 Fork off code for part 11 of compiler series.
continuous-integration/drone/push Build is failing Details
2020-04-09 23:48:53 -07:00
Danila Fedorin 902ffc0bc0 Add missing backslashes
continuous-integration/drone/push Build is failing Details
2020-04-09 22:55:02 -07:00
Danila Fedorin 8c1168d818 Add seemingly missing string includes. 2020-04-09 16:26:10 -07:00
Danila Fedorin fd77fe078a Disable Google Analytics
continuous-integration/drone/push Build is failing Details
2020-04-08 21:50:44 -07:00
Danila Fedorin 7f3883fb39 Remove KaTeX JavaScript from page.
continuous-integration/drone/push Build is passing Details
2020-04-07 15:30:04 -07:00
Danila Fedorin 6a2698e911 Fix weird typo in part 11 of compiler series 2020-04-07 15:28:40 -07:00
Danila Fedorin 569fea74a7 Make some progress on part 11 of compiler series 2020-04-04 23:16:01 -07:00
Danila Fedorin b04d82f0b3 Make small fixes to compiler series posts
continuous-integration/drone/push Build is passing Details
2020-03-30 19:59:40 -07:00
Danila Fedorin 33cd4f5f68 Start working on part 11 of compiler series
continuous-integration/drone/push Build is passing Details
2020-03-28 22:26:47 -07:00
Danila Fedorin 49cf8e3e08 Add links to the article everywhere else
continuous-integration/drone/push Build is passing Details
2020-03-25 17:40:40 -07:00
Danila Fedorin c53a8ba68e Finish and publish part 10 of compiler series
continuous-integration/drone/push Build is passing Details
2020-03-25 17:15:53 -07:00
Danila Fedorin 5cccb97ede Add missing source file
continuous-integration/drone/push Build is passing Details
2020-03-25 03:36:17 -07:00
Danila Fedorin 493419f324 Remove debug output
continuous-integration/drone/push Build is failing Details
2020-03-25 03:35:30 -07:00
Danila Fedorin 577e0ad930 Finalize draft of polymorphism post
continuous-integration/drone/push Build is failing Details
2020-03-25 03:22:21 -07:00
Danila Fedorin 2a12f7f31e Switch to using type schemes and implement polymorphism in compiler series 2020-03-24 23:04:51 -07:00
Danila Fedorin ae3e661d7a Implement new ordered typing in compiler series 2020-03-24 22:00:11 -07:00
Danila Fedorin 0efa05142f Separate definitions in compiler series 2020-03-24 21:08:06 -07:00
Danila Fedorin 6714e18e7c Switch type environment to using pointers 2020-03-24 18:04:01 -07:00
Danila Fedorin 5d53678e83 Only store type in case expression
continuous-integration/drone/push Build is passing Details
2020-03-24 17:53:06 -07:00
Danila Fedorin 3cb66a606d Make MathJax post public
continuous-integration/drone/push Build is passing Details
2020-03-24 16:41:11 -07:00
Danila Fedorin 074db07275 Add 'math rendering is wrong' draft
continuous-integration/drone/push Build is passing Details
2020-03-15 18:43:28 -07:00
Danila Fedorin e3834ed6ea Explain graph code
continuous-integration/drone/push Build is passing Details
2020-03-14 21:04:13 -07:00
Danila Fedorin 1bdb4a650e Start work on algorithms in compiler post 10
continuous-integration/drone/push Build is passing Details
2020-03-14 17:18:06 -07:00
Danila Fedorin 6966973497 Set up script to test latest compiler version
continuous-integration/drone/push Build is passing Details
2020-03-10 22:26:02 -07:00
Danila Fedorin 8ee016e189 Fork into version 10 of the compiler for blog series 2020-03-10 20:58:26 -07:00
Danila Fedorin fa0a96f057 Remove horizontal scroll because it adds vertical scroll (?).
continuous-integration/drone/push Build is passing Details
2020-03-10 18:46:35 -07:00
Danila Fedorin a2c84f5c40 Make KaTeX scrollable
continuous-integration/drone/push Build is passing Details
2020-03-10 18:39:56 -07:00
Danila Fedorin 768c43df2d Write up the instantiation rule and the new type checking algorithm in compiler series.
continuous-integration/drone/push Build is passing Details
2020-03-10 18:36:26 -07:00
Danila Fedorin 579d988f4a Remove lambda abstraction rule from part 10 of compiler series.
continuous-integration/drone/push Build is passing Details
2020-03-09 22:55:12 -07:00
Danila Fedorin 45bc113e3f Add some more text to polymorphism post
continuous-integration/drone/push Build is passing Details
2020-03-09 22:30:27 -07:00
Danila Fedorin 1abc13b20f Allow stack cells to be bigger
continuous-integration/drone/push Build is passing Details
2020-03-08 00:38:19 -08:00
Danila Fedorin cdc9e28c90 Remove sidenote from stack post 2020-03-08 00:38:05 -08:00
Danila Fedorin 8a48a110ff Avoid duplicating generated CSS by splitting SASS into separate files 2020-03-08 00:35:11 -08:00
Danila Fedorin 0eb1abd26d Add note about n being zero to stack post
continuous-integration/drone/push Build is passing Details
2020-03-08 00:23:28 -08:00
Danila Fedorin a7a6d7ff13 Stop using images and use HTML/CSS to render stacks 2020-03-08 00:20:30 -08:00
Danila Fedorin fb544e0545 Fix missing argument to slide in stack recursion post
continuous-integration/drone/push Build is passing Details
2020-03-07 14:22:56 -08:00
Danila Fedorin 84029fbc5b Finalize stack/recursion post
continuous-integration/drone/push Build is passing Details
2020-03-06 23:06:45 -08:00
Danila Fedorin 8039e459fa Finalize stack draft writeup
continuous-integration/drone/push Build is passing Details
2020-03-06 22:50:30 -08:00
Danila Fedorin f202c8ea44 Start on the recursion tutorial post
continuous-integration/drone/push Build is passing Details
2020-03-06 21:28:09 -08:00
Danila Fedorin d8d1aa66e6 Start working on explanations in Part 10 of Compiler series 2020-03-06 17:54:22 -08:00
Danila Fedorin 79ef221820 Make KaTeX not break inside math, and clean up container code 2020-03-06 17:54:00 -08:00
Danila Fedorin 67ecc741d0 Switch more posts to work with KaTeX and the latex macro
continuous-integration/drone/push Build is passing Details
2020-03-04 14:07:05 -08:00
Danila Fedorin 80d722568e Begin switching towards KaTeX
continuous-integration/drone/push Build is passing Details
2020-03-02 23:50:49 -08:00