|
|
30c881ce3f
|
Add TODO to draft
|
2019-08-26 00:18:20 -07:00 |
|
|
|
469cabda14
|
Backport fix for parser to post 2.
|
2019-08-26 00:14:45 -07:00 |
|
|
|
c2df5fdc78
|
Add the examples to the repo.
|
2019-08-26 00:13:34 -07:00 |
|
|
|
918dfbe980
|
Drafts of code and markdown.
|
2019-08-26 00:13:10 -07:00 |
|
|
|
d60d4e61bd
|
Add environment code
|
2019-08-26 00:11:38 -07:00 |
|
|
|
1820a05fcc
|
Write up type code
|
2019-08-25 16:42:23 -07:00 |
|
|
|
ac589a8b0a
|
Update type rules, get pattern matching defined
|
2019-08-25 01:37:24 -07:00 |
|
|
|
0d275844d4
|
Start working on type code
|
2019-08-25 01:36:34 -07:00 |
|
|
|
5acd08dcce
|
Add copy of part 2 project for part 3
|
2019-08-25 01:10:55 -07:00 |
|
|
|
b36d1949de
|
Add a way to put in sections of a file
|
2019-08-20 20:12:18 -07:00 |
|
|
|
38c703f581
|
Add google analytics?
|
2019-08-16 14:25:18 -07:00 |
|
|
|
091a686070
|
Fix list rendering in some posts.
|
2019-08-16 03:29:13 -07:00 |
|
|
|
352ec468f7
|
Fix links in old posts
|
2019-08-16 03:11:52 -07:00 |
|
|
|
930f853167
|
Add missing title tag
|
2019-08-16 02:58:39 -07:00 |
|
|
|
cfb4fc708a
|
Start working on case expression rule
|
2019-08-13 22:54:16 -07:00 |
|
|
|
a9958edaa2
|
Add TODO shortcode
|
2019-08-13 22:53:46 -07:00 |
|
|
|
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 |
|
|
|
d1a84b6f30
|
Add a way to clean the generated files.
|
2019-08-06 14:24:39 -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 |
|
|
|
914b93989c
|
Add the viewport meta tag and other similar things
|
2019-08-06 03:48:29 -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 |
|
|
|
f6c6a2be28
|
Add main code to tie it all together
|
2019-08-05 00:10:10 -07:00 |
|
|
|
85908ae0c4
|
Write first draft of Bison-based parser and lexer
|
2019-08-05 00:09:59 -07:00 |
|
|
|
43d23963e2
|
I don't know C++. Improve constructors?
|
2019-08-05 00:08:13 -07:00 |
|
|
|
f42cb900cf
|
Add the drafts of the two posts
|
2019-08-03 15:45:14 -07:00 |
|
|
|
708f9bebfa
|
Add a way to include code into a post
|
2019-08-03 15:18:15 -07:00 |
|
|
|
e6d73eeceb
|
Fix typo in About page
|
2019-08-03 00:29:34 -07:00 |
|
|
|
607df97bdf
|
Sort tags name, and remove useless page
|
2019-08-02 23:38:03 -07:00 |
|
|
|
6cfb217143
|
Switch to working MathJax
|
2019-08-02 23:35:00 -07:00 |
|
|
|
6d7163bb08
|
Add posts from old website
|
2019-08-02 23:34:40 -07:00 |
|
|
|
2cc92a1ec6
|
Order posts by date
|
2019-08-02 23:05:50 -07:00 |
|
|
|
49d46a71e6
|
Add special template for posts
|
2019-08-02 22:53:52 -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 |
|
|
|
d1ad723a22
|
Start making the layout look like the old site
|
2019-08-02 18:36:12 -07:00 |
|
|
|
2aae302793
|
Add code highlighting and make minor style changes
|
2019-08-02 18:35:47 -07:00 |
|
|
|
4d52c73ee5
|
Begin fleshing out the index and base templates
|
2019-08-02 18:04:58 -07:00 |
|
|
|
9420fbe6dc
|
Adjust config.toml
|
2019-08-02 17:34:26 -07:00 |
|
|
|
d0acb74eaf
|
Add custom theme
|
2019-08-02 17:21:35 -07:00 |
|
|
|
de12db5747
|
Generate initial site
|
2019-08-02 17:13:41 -07:00 |
|
