Commit Graph

Select branches

Hide Pull Requests

colors

donations

i-love-programming-languages

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 091a686070 Fix list rendering in some posts. Danila Fedorin 2019-08-16 03:29:13 -07:00
• 352ec468f7 Fix links in old posts Danila Fedorin 2019-08-16 03:11:52 -07:00
• 930f853167 Add missing title tag Danila Fedorin 2019-08-16 02:58:39 -07:00
• cfb4fc708a Start working on case expression rule Danila Fedorin 2019-08-13 22:54:16 -07:00
• a9958edaa2 Add TODO shortcode Danila Fedorin 2019-08-13 22:53:46 -07:00
• fe0437eabf Set the syntax to be Coq in the post Danila Fedorin 2019-08-13 21:32:05 -07:00
• fce8e75dde Add more content for the type checking post Danila Fedorin 2019-08-13 21:31:10 -07:00
• d1a84b6f30 Add a way to clean the generated files. Danila Fedorin 2019-08-06 14:24:39 -07:00
• 8450e2c35d Address listed flaws in implementation Danila Fedorin 2019-08-06 14:24:26 -07:00
• 34e967f364 Move code into folders for convenience Danila Fedorin 2019-08-06 13:53:46 -07:00
• 914b93989c Add the viewport meta tag and other similar things Danila Fedorin 2019-08-06 03:48:29 -07:00
• 62c3f15896 Add static website post Danila Fedorin 2019-08-05 01:54:42 -07:00
• 43a72533f5 Finish the draft of the parsing post Danila Fedorin 2019-08-05 00:39:54 -07:00
• f6c6a2be28 Add main code to tie it all together Danila Fedorin 2019-08-05 00:10:10 -07:00
• 85908ae0c4 Write first draft of Bison-based parser and lexer Danila Fedorin 2019-08-05 00:09:59 -07:00
• 43d23963e2 I don't know C++. Improve constructors? Danila Fedorin 2019-08-05 00:08:13 -07:00
• f42cb900cf Add the drafts of the two posts Danila Fedorin 2019-08-03 15:45:14 -07:00
• 708f9bebfa Add a way to include code into a post Danila Fedorin 2019-08-03 15:18:15 -07:00
• e6d73eeceb Fix typo in About page Danila Fedorin 2019-08-03 00:29:34 -07:00
• 607df97bdf Sort tags name, and remove useless page Danila Fedorin 2019-08-02 23:38:03 -07:00
• 6cfb217143 Switch to working MathJax Danila Fedorin 2019-08-02 23:35:00 -07:00
• 6d7163bb08 Add posts from old website Danila Fedorin 2019-08-02 23:34:40 -07:00
• 2cc92a1ec6 Order posts by date Danila Fedorin 2019-08-02 23:05:50 -07:00
• 49d46a71e6 Add special template for posts Danila Fedorin 2019-08-02 22:53:52 -07:00
• 2f5169d1d9 Minor change to first page Danila Fedorin 2019-08-02 22:53:30 -07:00
• 8e70f7739e Configure tag and post lists. Danila Fedorin 2019-08-02 22:29:26 -07:00
• 81f519d010 Add about page Danila Fedorin 2019-08-02 21:44:39 -07:00
• fdaa87e1ea Add single page layout, and display recent posts Danila Fedorin 2019-08-02 21:44:29 -07:00
• d1ad723a22 Start making the layout look like the old site Danila Fedorin 2019-08-02 18:36:12 -07:00
• 2aae302793 Add code highlighting and make minor style changes Danila Fedorin 2019-08-02 18:35:47 -07:00
• 4d52c73ee5 Begin fleshing out the index and base templates Danila Fedorin 2019-08-02 18:04:58 -07:00
• 9420fbe6dc Adjust config.toml Danila Fedorin 2019-08-02 17:34:26 -07:00
• d0acb74eaf Add custom theme Danila Fedorin 2019-08-02 17:21:35 -07:00
• de12db5747 Generate initial site Danila Fedorin 2019-08-02 17:13:41 -07:00