walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
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