|
|
9284365c72
|
add rss 🎉
|
2024-09-15 17:57:09 +02:00 |
|
|
|
3ac457b1ec
|
mathml
|
2024-09-15 17:48:16 +02:00 |
|
|
|
feb5d7d89e
|
bump laantas-script
|
2024-09-15 17:47:28 +02:00 |
|
|
|
7023da3902
|
add post summaries
|
2024-09-15 17:46:40 +02:00 |
|
|
|
3ae0cd7c52
|
bytestring hGetLine has moved
|
2024-09-15 17:46:40 +02:00 |
|
|
|
0438ee590f
|
slug generation improvements
|
2024-09-15 17:46:40 +02:00 |
|
|
|
32edbb1816
|
a bunch of stuff sorry
|
2023-12-28 01:00:37 +01:00 |
|
|
|
2910daf0c6
|
update deps
|
2023-06-05 17:48:09 +02:00 |
|
|
|
3aee53faa1
|
posts
|
2023-05-03 22:00:19 +02:00 |
|
|
|
c49e080cc3
|
typos
|
2022-09-17 21:46:43 +02:00 |
|
|
|
0ec38537f4
|
adjust syntax highlighting
|
2022-09-17 20:57:32 +02:00 |
|
|
|
1e7423fffe
|
add ats post
|
2022-09-17 20:57:25 +02:00 |
|
|
|
8d401ab404
|
"""finish""" old beluga post
|
2022-09-17 20:56:52 +02:00 |
|
|
|
be46a2fc5c
|
fix tags with spaces
add a filter that replaces tags e.g.
"tag name" → {name: "tag name", slug: "tag_name"}
|
2022-09-17 20:54:16 +02:00 |
|
|
|
5108acba61
|
post list on one column
|
2022-07-12 21:19:29 +02:00 |
|
|
|
80f7039301
|
header size
|
2022-07-12 21:19:21 +02:00 |
|
|
|
6e1e83ff7b
|
beluga syntax
|
2022-07-12 21:19:03 +02:00 |
|
|
|
53d8244aa6
|
base version updates
|
2022-03-30 04:37:32 +02:00 |
|
|
|
aa9f411f50
|
make YAML module less misleading
|
2022-03-30 04:37:03 +02:00 |
|
|
|
3e433df2fe
|
remove some trash that shouldn't have been there
|
2022-03-30 03:14:17 +02:00 |
|
|
|
16354224d4
|
try and fail to fix maude tokenising
|
2022-03-16 18:40:30 +01:00 |
|
|
|
6a7d65d421
|
use :::aside instead of <aside>
|
2022-03-16 18:40:12 +01:00 |
|
|
|
81041fdb30
|
posts depend on syntax defs
|
2022-03-16 18:39:53 +01:00 |
|
|
|
345a39c885
|
update lang
|
2022-03-16 18:39:33 +01:00 |
|
|
|
c82d5cdb44
|
maude syntax updates
- negative rationals
- fix string escapes
- ±Infinity
- strategy modules, decls, etc
- some arrows etc i missed
|
2022-03-16 05:12:23 +01:00 |
|
|
|
dede580ecf
|
parallel doesn't like an empty list
|
2022-03-16 04:54:57 +01:00 |
|
|
|
256706b285
|
pick the kateversion from a file in the repo
|
2022-03-15 04:44:09 +01:00 |
|
|
|
bffa11780e
|
add digitle post
|
2022-03-15 04:42:38 +01:00 |
|
|
|
ccd9024861
|
fix header weights
|
2022-03-15 04:41:58 +01:00 |
|
|
|
143e43e088
|
enable :emoji:
|
2022-03-15 04:41:20 +01:00 |
|
|
|
4d53deabf4
|
remove yaml from STATICEXTS
|
2022-03-15 04:41:08 +01:00 |
|
|
|
e5d888ae01
|
add maude syntax
|
2022-03-15 04:40:25 +01:00 |
|
|
|
3f989733ee
|
all posts page is index
|
2021-07-25 14:55:05 +02:00 |
|
|
|
533efb5a31
|
some style stuff in lists
|
2021-07-25 14:49:55 +02:00 |
|
|
|
54aac9c35a
|
fix filenames in post lists
|
2021-07-25 14:49:55 +02:00 |
|
|
|
3c17aa052b
|
use the svg-builder fix
|
2021-07-25 14:49:55 +02:00 |
|
|
|
77a53e06a5
|
first
|
2021-07-25 14:49:55 +02:00 |
|
