This website requires JavaScript.
Explore
Help
Sign In
Nix-Configs
/
blog-static-flake
Watch
1
Star
0
Fork
0
You've already forked blog-static-flake
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
147
Commits
1
Branch
0
Tags
1306acdd216510b8bb75927048dafc4138c15d09
Go to file
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Danila Fedorin
1306acdd21
Update with newer draft of lattices pt. 2
...
Signed-off-by: Danila Fedorin <
danila.fedorin@gmail.com
>
2024-05-31 05:41:38 +00:00
build
Factor out building Agda HTML from building the blog
2024-05-24 20:33:34 +00:00
flake.lock
Update with newer draft of lattices pt. 2
2024-05-31 05:41:38 +00:00
flake.nix
Use duktape to run KaTeX from ruby with Node
2024-05-24 04:23:25 +00:00
gemset.nix
Use duktape to run KaTeX from ruby with Node
2024-05-24 04:23:25 +00:00
lib.nix
Avoid using rev in Agda derivation
2024-05-25 06:06:10 +00:00
Description
Nix flake / derivation for building my blog.
674
KiB
Languages
Nix
69%
Shell
31%
