|
|
dc96021ba1
|
Update to new nixpkgs etc
|
2025-03-02 21:45:32 +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 |
|
