- Mar 20, 2022
- Mar 19, 2022
-
-
stuebinm authored
this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking!
-
stuebinm authored
-
stuebinm authored
bootstrap is horrible and should be replaced
-
stuebinm authored
-
stuebinm authored
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
-
stuebinm authored
-
stuebinm authored
-
stuebinm authored
-
stuebinm authored
also don't keep adjusted maps around if not necessary
-
stuebinm authored
(also some evaluateNF, leading to slightly less memory usage)
-
stuebinm authored
(really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
-
stuebinm authored
-
stuebinm authored
-
stuebinm authored
both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure!
-
stuebinm authored
-
stuebinm authored
(also, more lenses i guess)
-
stuebinm authored
a very simple setup that might be usable for divoc and similar small events
-
stuebinm authored
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
-
stuebinm authored
it's slightly less of a mess than it was before
-
stuebinm authored
it's not very sensible, but at least it exists
-
stuebinm authored
-
stuebinm authored
(for now, just a list of all maps and their current status)
-
stuebinm authored
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
-
stuebinm authored
-
stuebinm authored
-
stuebinm authored
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
-
stuebinm authored
-
stuebinm authored
adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …
-