april
**Quick Summary:** request has been deprecated, and `npm audit` complains about it. This PR simply removes request and replaces it with axios, semantics are equivalent. **Additional Info:** I understand that...
As pointed out in issue #2160, the theme definition spec doesn't follow any rules besides “green is the main colour for some reason”. When scrolling through the theme gallery page,...
I use Nix and I'm playing around with `agda2hs`, but it's been hard to do all the wiring necessary for this to work. I do not know how much work...