2 Commits

Author	SHA1	Message	Date
Danila Fedorin	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
Danila Fedorin	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