3 Commits

Author	SHA1	Message	Date
Danila Fedorin	a6425c7510	Always add line numbers (why not?), but specially tag Agda blocks ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-21 20:41:10 -07:00
Danila Fedorin	52ea5abbc8	For Agda code blocks, thread through line numbers ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-21 20:39:28 -07:00
Danila Fedorin	94c285a2f1	Extract website theme into its own repository	2021-04-15 01:37:18 -07:00