| Commit message (Collapse) | Author | Files | Lines |
|---|
|
(this also adds general cli arguments, but the main point is that
downloading monstrously large repositories is a silly idea when i'm on a
train with surprisingly bad wifi)
|
|
(i.e. we want to still have a valid version of the map if new results
where introduced)
|
|
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!
|
|
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
|
|
|
|
|
|
|
|
also don't keep adjusted maps around if not necessary
|
|
(also some evaluateNF, leading to slightly less memory usage)
|
|
(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)
|
|
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!
|
|
|
|
(also, more lenses i guess)
|
|
a very simple setup that might be usable for divoc and similar small events
|
