Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | new post: turing complete type systems | Akshay | 2020-06-18 | 1 | -25/+25 |
* | redo pandoc commands to print fragments only | Akshay | 2020-04-16 | 1 | -68/+7 |
* | rerender with pandoc | Akshay | 2020-04-16 | 1 | -179/+133 |
* | rework css, semantic html | Akshay | 2020-04-10 | 1 | -2/+2 |
* | new and improved intro | Akshay | 2020-04-06 | 1 | -2/+1 |
* | fix heading formatting | Akshay | 2020-04-01 | 1 | -3/+3 |
* | new post | Akshay | 2020-04-01 | 1 | -0/+261 |