|
|
7d6f362936
|
Avoid using rev in Agda derivation
This might make the derivation more cacheable
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-25 06:06:10 +00:00 |
|
|
|
0962df69ad
|
Factor out building Agda HTML from building the blog
This saves a lot of time since typechecking Agda is slow.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 20:33:34 +00:00 |
|
|
|
2a86640401
|
Use duktape to run KaTeX from ruby with Node
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 04:23:25 +00:00 |
|
|
|
ee116b138f
|
Add building and linking Agda as build step
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-23 07:37:52 +00:00 |
|
|
|
aebf198ca8
|
Bundle files from web-files at build time.
|
2023-11-30 07:09:28 +00:00 |
|
|
|
ab4b92d031
|
Remove accidental tabs
|
2023-04-11 02:54:30 +00:00 |
|
|
|
211237d9be
|
Remove module in favor of letting system configure nginx
|
2023-04-11 02:53:15 +00:00 |
|
|
|
d065ca364e
|
Build resume using nix derivation
|
2023-02-20 05:49:59 +00:00 |
|
|
|
e7615c4947
|
Generate static files as part of the build process
|
2022-12-30 15:42:32 -08:00 |
|
|
|
1c0c7355c1
|
Use Nix function to perform replacement
|
2022-05-01 20:12:41 +00:00 |
|
|
|
29c6c9bcba
|
Update blog and use generated submodule configuration
|
2022-04-09 10:20:02 +00:00 |
|
|
|
5e51a6a5bb
|
Remove reliance on nokogiri and other tools
|
2022-03-28 04:51:18 +00:00 |
|
|
|
ac1eec35ec
|
Extract KaTeX handling into a program
|
2022-03-27 18:47:07 -07:00 |
|
|
|
540887a5e9
|
Try derive hosts from derivation, too
|
2021-10-23 00:56:52 -07:00 |
|
|
|
853dcaac4b
|
Make minor adjustments to lib.nix
|
2021-10-23 00:35:37 -07:00 |
|
|
|
30bd041431
|
Try rewrite code to improve service configuration
|
2021-10-23 00:27:43 -07:00 |
|
