|
|
fe0437eabf
|
Set the syntax to be Coq in the post
|
2019-08-13 21:32:05 -07:00 |
|
|
|
fce8e75dde
|
Add more content for the type checking post
|
2019-08-13 21:31:10 -07:00 |
|
|
|
8450e2c35d
|
Address listed flaws in implementation
|
2019-08-06 14:24:26 -07:00 |
|
|
|
34e967f364
|
Move code into folders for convenience
|
2019-08-06 13:56:32 -07:00 |
|
|
|
62c3f15896
|
Add static website post
|
2019-08-05 01:54:42 -07:00 |
|
|
|
43a72533f5
|
Finish the draft of the parsing post
|
2019-08-05 00:39:54 -07:00 |
|
|
|
85908ae0c4
|
Write first draft of Bison-based parser and lexer
|
2019-08-05 00:09:59 -07:00 |
|
|
|
f42cb900cf
|
Add the drafts of the two posts
|
2019-08-03 15:45:14 -07:00 |
|
|
|
e6d73eeceb
|
Fix typo in About page
|
2019-08-03 00:29:34 -07:00 |
|
|
|
6d7163bb08
|
Add posts from old website
|
2019-08-02 23:34:40 -07:00 |
|
|
|
2f5169d1d9
|
Minor change to first page
|
2019-08-02 22:53:30 -07:00 |
|
|
|
8e70f7739e
|
Configure tag and post lists.
|
2019-08-02 22:29:26 -07:00 |
|
|
|
81f519d010
|
Add about page
|
2019-08-02 21:44:39 -07:00 |
|
|
|
fdaa87e1ea
|
Add single page layout, and display recent posts
|
2019-08-02 21:44:29 -07:00 |
|
|
|
4d52c73ee5
|
Begin fleshing out the index and base templates
|
2019-08-02 18:04:58 -07:00 |
|
