walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-03-19	remove leftover rc3 things & some new stuff	stuebinm	1	-11/+11
	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!
2022-03-19	server: websocket for updates & auto-reload	stuebinm	1	-2/+26
	todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
2022-03-19	server: add a very simple relint button	stuebinm	1	-3/+4

2022-03-19	mapserver: somewhat more decent logging	stuebinm	1	-18/+23

2022-03-19	server: write out adjusted maps	stuebinm	1	-5/+21

2022-03-19	switch to universum prelude	stuebinm	1	-2/+3
	also don't keep adjusted maps around if not necessary
2022-03-19	sprinkle some NFData everywhere	stuebinm	1	-0/+1
	(also some evaluateNF, leading to slightly less memory usage)
2022-03-19	server: remove a thunk leak	stuebinm	1	-2/+3
	(really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
2022-03-19	server: remove cli-git, cli-extras	stuebinm	1	-34/+52
	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!
2022-03-19	server: add mapservice GET endpoint	stuebinm	1	-4/+8

2022-03-19	internal state: sort according to org	stuebinm	1	-1/+1
	(also, more lenses i guess)
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-0/+73
	a very simple setup that might be usable for divoc and similar small events