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