Commit Graph

500 Commits

Author SHA1 Message Date
Danila Fedorin 8ba501bd84 Add output and fix two bugs. 2019-08-26 21:05:44 -07:00
Danila Fedorin 6344ce11ce Add CMake file and code for post 4 2019-08-26 18:52:25 -07:00
Danila Fedorin d03aa181e3 Update the codelines shortcode 2019-08-26 18:48:12 -07:00
Danila Fedorin 94d242414f Add an introduction post, and update other posts to match 2019-08-26 17:43:45 -07:00
Danila Fedorin 619c346897 Do the first round of revisions on part 3 2019-08-26 17:08:05 -07:00
Danila Fedorin 30c881ce3f Add TODO to draft 2019-08-26 00:18:20 -07:00
Danila Fedorin 469cabda14 Backport fix for parser to post 2. 2019-08-26 00:14:45 -07:00
Danila Fedorin c2df5fdc78 Add the examples to the repo. 2019-08-26 00:13:34 -07:00
Danila Fedorin 918dfbe980 Drafts of code and markdown. 2019-08-26 00:13:10 -07:00
Danila Fedorin d60d4e61bd Add environment code 2019-08-26 00:11:38 -07:00
Danila Fedorin 1820a05fcc Write up type code 2019-08-25 16:42:23 -07:00
Danila Fedorin ac589a8b0a Update type rules, get pattern matching defined 2019-08-25 01:37:24 -07:00
Danila Fedorin 0d275844d4 Start working on type code 2019-08-25 01:36:34 -07:00
Danila Fedorin 5acd08dcce Add copy of part 2 project for part 3 2019-08-25 01:10:55 -07:00
Danila Fedorin b36d1949de Add a way to put in sections of a file 2019-08-20 20:12:18 -07:00
Danila Fedorin 38c703f581 Add google analytics? 2019-08-16 14:25:18 -07:00
Danila Fedorin 091a686070 Fix list rendering in some posts. 2019-08-16 03:29:13 -07:00
Danila Fedorin 352ec468f7 Fix links in old posts 2019-08-16 03:11:52 -07:00
Danila Fedorin 930f853167 Add missing title tag 2019-08-16 02:58:39 -07:00
Danila Fedorin cfb4fc708a Start working on case expression rule 2019-08-13 22:54:16 -07:00
Danila Fedorin a9958edaa2 Add TODO shortcode 2019-08-13 22:53:46 -07:00
Danila Fedorin fe0437eabf Set the syntax to be Coq in the post 2019-08-13 21:32:05 -07:00
Danila Fedorin fce8e75dde Add more content for the type checking post 2019-08-13 21:31:10 -07:00
Danila Fedorin d1a84b6f30 Add a way to clean the generated files. 2019-08-06 14:24:39 -07:00
Danila Fedorin 8450e2c35d Address listed flaws in implementation 2019-08-06 14:24:26 -07:00
Danila Fedorin 34e967f364 Move code into folders for convenience 2019-08-06 13:56:32 -07:00
Danila Fedorin 914b93989c Add the viewport meta tag and other similar things 2019-08-06 03:48:29 -07:00
Danila Fedorin 62c3f15896 Add static website post 2019-08-05 01:54:42 -07:00
Danila Fedorin 43a72533f5 Finish the draft of the parsing post 2019-08-05 00:39:54 -07:00
Danila Fedorin f6c6a2be28 Add main code to tie it all together 2019-08-05 00:10:10 -07:00
Danila Fedorin 85908ae0c4 Write first draft of Bison-based parser and lexer 2019-08-05 00:09:59 -07:00
Danila Fedorin 43d23963e2 I don't know C++. Improve constructors? 2019-08-05 00:08:13 -07:00
Danila Fedorin f42cb900cf Add the drafts of the two posts 2019-08-03 15:45:14 -07:00
Danila Fedorin 708f9bebfa Add a way to include code into a post 2019-08-03 15:18:15 -07:00
Danila Fedorin e6d73eeceb Fix typo in About page 2019-08-03 00:29:34 -07:00
Danila Fedorin 607df97bdf Sort tags name, and remove useless page 2019-08-02 23:38:03 -07:00
Danila Fedorin 6cfb217143 Switch to working MathJax 2019-08-02 23:35:00 -07:00
Danila Fedorin 6d7163bb08 Add posts from old website 2019-08-02 23:34:40 -07:00
Danila Fedorin 2cc92a1ec6 Order posts by date 2019-08-02 23:05:50 -07:00
Danila Fedorin 49d46a71e6 Add special template for posts 2019-08-02 22:53:52 -07:00
Danila Fedorin 2f5169d1d9 Minor change to first page 2019-08-02 22:53:30 -07:00
Danila Fedorin 8e70f7739e Configure tag and post lists. 2019-08-02 22:29:26 -07:00
Danila Fedorin 81f519d010 Add about page 2019-08-02 21:44:39 -07:00
Danila Fedorin fdaa87e1ea Add single page layout, and display recent posts 2019-08-02 21:44:29 -07:00
Danila Fedorin d1ad723a22 Start making the layout look like the old site 2019-08-02 18:36:12 -07:00
Danila Fedorin 2aae302793 Add code highlighting and make minor style changes 2019-08-02 18:35:47 -07:00
Danila Fedorin 4d52c73ee5 Begin fleshing out the index and base templates 2019-08-02 18:04:58 -07:00
Danila Fedorin 9420fbe6dc Adjust config.toml 2019-08-02 17:34:26 -07:00
Danila Fedorin d0acb74eaf Add custom theme 2019-08-02 17:21:35 -07:00
Danila Fedorin de12db5747 Generate initial site 2019-08-02 17:13:41 -07:00