| 
						
					 | 
					
						
						
						
						
							
						
						
							9f73ca2950
							
						
					 | 
					
						
						
							
							Remove bold font weight on post lists.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-09 17:53:55 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							035b98a602
							
						
					 | 
					
						
						
							
							Start using description meta.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-09 17:29:57 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							17f4ebc297
							
						
					 | 
					
						
						
							
							Add media screen to all stylesheets.
						
						
						
						
						
					 | 
					
						2020-05-09 17:02:13 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							906e15674e
							
						
					 | 
					
						
						
							
							Make minor edits to the content
						
						
						
						
						
					 | 
					
						2020-05-09 16:52:05 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							85bd0b6c9c
							
						
					 | 
					
						
						
							
							Switch to left-alignment on small screens to prevent ugly gaps.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-09 01:48:22 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							b19e8713e0
							
						
					 | 
					
						
						
							
							Center post titles and word counters.
						
						
						
						
						
					 | 
					
						2020-05-09 01:45:53 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							68fb78e765
							
						
					 | 
					
						
						
							
							Only left-justify post titles
						
						
						
						
						
					 | 
					
						2020-05-09 01:41:10 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							be8a0a4a3a
							
						
					 | 
					
						
						
							
							Left jusify text in links to prevent random variation
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-04 19:55:48 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							e883e3c60e
							
						
					 | 
					
						
						
							
							Update link lists to visually indicate they're links.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-04 19:25:03 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							4ede62b39a
							
						
					 | 
					
						
						
							
							Stop displaying links in bold.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-04 03:56:21 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							7d9f487a78
							
						
					 | 
					
						
						
							
							Stop using revert due to Chrome issues
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-04 03:47:53 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							9da584ded4
							
						
					 | 
					
						
						
							
							Make page lists bold
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-05-04 03:36:23 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							9452c90cf3
							
						
					 | 
					
						
						
							
							Switch back to Raleway
						
						
						
						
						
					 | 
					
						2020-05-04 03:35:24 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							a80064f40a
							
						
					 | 
					
						
						
							
							Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static
						
						
						
						
						
					 | 
					
						2020-05-04 03:29:48 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							49691803cc
							
						
					 | 
					
						
						
							
							Stop displaying links as inline-block
						
						
						
						
						
					 | 
					
						2020-05-04 03:28:17 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							ee4738b245
							
						
					 | 
					
						
						
							
							Add redesign CSS
						
						
						
						
						
					 | 
					
						2020-05-04 03:23:55 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							b270fa78da
							
						
					 | 
					
						
						
							
							Add draft of lazy evaluation post
						
						
						
						
						
					 | 
					
						2020-05-04 01:58:25 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							18339d7e4d
							
						
					 | 
					
						
						
							
							Build and test version 11 of the compiler instead of 10.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-26 21:28:34 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							78563448fb
							
						
					 | 
					
						
						
							
							Update to LLVM 10.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-26 21:24:24 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							144d5f3324
							
						
					 | 
					
						
						
							
							Try to fix compiler build failure
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-26 21:05:28 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							0fb315ec47
							
						
					 | 
					
						
						
							
							Prevent single-column tables in the case of highlighting
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-26 20:47:51 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							1ff67341a1
							
						
					 | 
					
						
						
							
							Disable live uploading while the new server doesn't accept the files.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-26 19:57:50 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							a441280812
							
						
					 | 
					
						
						
							
							Add article about Crystal and Nix with OpenSSL.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-26 19:56:15 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							eda9bbb191
							
						
					 | 
					
						
						
							
							Add more to part 12 of compiler series
						
						
						
						
						
					 | 
					
						2020-04-25 18:07:32 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							2d9da2899f
							
						
					 | 
					
						
						
							
							Switch to no line breaks (for Ghostwriter support)
						
						
						
						
						
					 | 
					
						2020-04-25 15:45:15 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							a95490d9d4
							
						
					 | 
					
						
						
							
							Add more content to part 12 of compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-22 00:30:42 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							44135b1824
							
						
					 | 
					
						
						
							
							Add experimental figure-based styles
						
						
						
						
						
					 | 
					
						2020-04-22 00:30:22 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							4a0367b401
							
						
					 | 
					
						
						
							
							Start work on part 12 of compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-21 20:44:02 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							c1f0104edb
							
						
					 | 
					
						
						
							
							Add missing arity checks to compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-14 19:21:33 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							c9a7fbf6dd
							
						
					 | 
					
						
						
							
							Finalize part 10 of compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-14 19:06:29 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							1f00b6a3f8
							
						
					 | 
					
						
						
							
							Make compiler check for arity in part 11 of compiler series.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-14 16:20:12 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							acb22c4119
							
						
					 | 
					
						
						
							
							Finish draft of part 11 of compiler series
						
						
						
						
						
					 | 
					
						2020-04-14 16:19:54 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							be2b855ffe
							
						
					 | 
					
						
						
							
							Rename inaccurately named rule
						
						
						
						
						
					 | 
					
						2020-04-14 15:58:25 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							88c9418350
							
						
					 | 
					
						
						
							
							Update example to include polymorphism
						
						
						
						
						
					 | 
					
						2020-04-14 15:58:13 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							2255543d94
							
						
					 | 
					
						
						
							
							Add more work on part 11 of compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-14 00:15:32 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							b4c91d2dd4
							
						
					 | 
					
						
						
							
							Adjust grammar to allow for broader range of type inputs.
						
						
						
						
						
					 | 
					
						2020-04-13 23:17:34 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							98c1b5a3b2
							
						
					 | 
					
						
						
							
							Make substitution replace types at every lookup step
						
						
						
						
						
					 | 
					
						2020-04-13 17:59:57 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							122a1d73d3
							
						
					 | 
					
						
						
							
							Integrate new types into the rest of the project
						
						
						
						
						
					 | 
					
						2020-04-13 17:12:43 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							74e6dba914
							
						
					 | 
					
						
						
							
							Add parsed type data structure, type application and arity.
						
						
						
						
						
					 | 
					
						2020-04-13 17:08:03 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							d7846e0b32
							
						
					 | 
					
						
						
							
							Fork off code for part 11 of compiler series.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-09 23:48:53 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							902ffc0bc0
							
						
					 | 
					
						
						
							
							Add missing backslashes
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-09 22:55:02 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							8c1168d818
							
						
					 | 
					
						
						
							
							Add seemingly missing string includes.
						
						
						
						
						
					 | 
					
						2020-04-09 16:26:10 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							fd77fe078a
							
						
					 | 
					
						
						
							
							Disable Google Analytics
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is failing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-08 21:50:44 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							7f3883fb39
							
						
					 | 
					
						
						
							
							Remove KaTeX JavaScript from page.
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is passing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-04-07 15:30:04 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6a2698e911
							
						
					 | 
					
						
						
							
							Fix weird typo in part 11 of compiler series
						
						
						
						
						
					 | 
					
						2020-04-07 15:28:40 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							569fea74a7
							
						
					 | 
					
						
						
							
							Make some progress on part 11 of compiler series
						
						
						
						
						
					 | 
					
						2020-04-04 23:16:01 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							b04d82f0b3
							
						
					 | 
					
						
						
							
							Make small fixes to compiler series posts
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is passing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-03-30 19:59:40 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							33cd4f5f68
							
						
					 | 
					
						
						
							
							Start working on part 11 of compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is passing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-03-28 22:26:47 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							49cf8e3e08
							
						
					 | 
					
						
						
							
							Add links to the article everywhere else
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is passing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-03-25 17:40:40 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							c53a8ba68e
							
						
					 | 
					
						
						
							
							Finish and publish part 10 of compiler series
						
						
						
						
	
		
			
	
		
	
	
		
	
	
		
			
				
	
				continuous-integration/drone/push Build is passing 
				
			 
		
		
	 
 
	 
						
					 | 
					
						2020-03-25 17:15:53 -07:00 | 
					
					
						
						
							
							
							
						
					 |