Danila Fedorin 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
..
builder.sh	Factor out building Agda HTML from building the blog	2024-05-24 20:33:34 +00:00