|
|
1a2629f9e0
|
style changes
|
2024-01-13 00:03:21 +01:00 |
|
|
|
365e7e07af
|
highlighting
|
2023-12-09 15:41:39 +01:00 |
|
|
|
5b0723ba31
|
switch to kramdown katex engine for markdown files
|
2023-12-09 15:05:40 +01:00 |
|
|
|
a741d8d176
|
fix why-be-pure python code
|
2023-08-12 20:17:32 +02:00 |
|
|
|
e3662a5aea
|
fix typo
|
2023-08-02 18:57:04 +02:00 |
|
|
|
acba38f847
|
add addendum to a favourite proof of mine
|
2023-04-19 15:31:28 +02:00 |
|
|
|
f151e9404e
|
a favourite proof of mine
|
2023-03-06 18:33:28 +01:00 |
|
|
|
e15f3ac5cb
|
consistent naming
|
2022-12-24 02:07:43 +01:00 |
|
|
|
a1fa31d547
|
added link to rijkes now published HoTT book
|
2022-12-22 18:17:00 +01:00 |
|
|
|
2d33d6dbb7
|
post haskell and logic
|
2022-12-15 20:17:08 +01:00 |
|
|
|
d50ed4133e
|
split haskell post into purity and logic part, post purity part
|
2022-12-10 00:28:12 +01:00 |
|
|
|
a8cfcb9437
|
archived some pages, edited SECD page a little bit
|
2022-12-09 20:14:17 +01:00 |
|
|
|
d7b728c923
|
center LaTeX stuff in SECD post
|
2022-01-27 22:23:00 +01:00 |
|
|
|
890cc7f928
|
tagged codeblocks with language
|
2022-01-27 20:29:29 +01:00 |
|
|
|
d46ddf9a7a
|
replaced " with ` where appropriate
|
2022-01-27 20:26:20 +01:00 |
|
|
|
f644309ae0
|
fix issue with SECD machine post
|
2022-01-27 20:06:52 +01:00 |
|
|
|
a21faac1e0
|
add all my posts
|
2022-01-27 19:44:11 +01:00 |
|
|
|
14218bbce5
|
did all layout stuff, just need my posts now
|
2022-01-27 18:34:28 +01:00 |
|
|
|
94da16f45e
|
created basic site structure and added support for katex and lagda
|
2022-01-26 21:35:10 +01:00 |
|
