532 Commits (master)
 

Author SHA1 Message Date
Danila Fedorin 930f853167 Add missing title tag 2 years ago
Danila Fedorin cfb4fc708a Start working on case expression rule 2 years ago
Danila Fedorin a9958edaa2 Add TODO shortcode 2 years ago
Danila Fedorin fe0437eabf Set the syntax to be Coq in the post 2 years ago
Danila Fedorin fce8e75dde Add more content for the type checking post 2 years ago
Danila Fedorin d1a84b6f30 Add a way to clean the generated files. 2 years ago
Danila Fedorin 8450e2c35d Address listed flaws in implementation 2 years ago
Danila Fedorin 34e967f364 Move code into folders for convenience 2 years ago
Danila Fedorin 914b93989c Add the viewport meta tag and other similar things 2 years ago
Danila Fedorin 62c3f15896 Add static website post 2 years ago
Danila Fedorin 43a72533f5 Finish the draft of the parsing post 2 years ago
Danila Fedorin f6c6a2be28 Add main code to tie it all together 2 years ago
Danila Fedorin 85908ae0c4 Write first draft of Bison-based parser and lexer 2 years ago
Danila Fedorin 43d23963e2 I don't know C++. Improve constructors? 2 years ago
Danila Fedorin f42cb900cf Add the drafts of the two posts 2 years ago
Danila Fedorin 708f9bebfa Add a way to include code into a post 2 years ago
Danila Fedorin e6d73eeceb Fix typo in About page 2 years ago
Danila Fedorin 607df97bdf Sort tags name, and remove useless page 2 years ago
Danila Fedorin 6cfb217143 Switch to working MathJax 2 years ago
Danila Fedorin 6d7163bb08 Add posts from old website 2 years ago
Danila Fedorin 2cc92a1ec6 Order posts by date 2 years ago
Danila Fedorin 49d46a71e6 Add special template for posts 2 years ago
Danila Fedorin 2f5169d1d9 Minor change to first page 2 years ago
Danila Fedorin 8e70f7739e Configure tag and post lists. 2 years ago
Danila Fedorin 81f519d010 Add about page 2 years ago
Danila Fedorin fdaa87e1ea Add single page layout, and display recent posts 2 years ago
Danila Fedorin d1ad723a22 Start making the layout look like the old site 2 years ago
Danila Fedorin 2aae302793 Add code highlighting and make minor style changes 2 years ago
Danila Fedorin 4d52c73ee5 Begin fleshing out the index and base templates 2 years ago
Danila Fedorin 9420fbe6dc Adjust config.toml 2 years ago
Danila Fedorin d0acb74eaf Add custom theme 2 years ago
Danila Fedorin de12db5747 Generate initial site 2 years ago