walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	switch to universum prelude	stuebinm	2022-02-18	1	-3/+2
\| \| \| \|	also don't keep adjusted maps around if not necessary
*	sprinkle some NFData everywhere	stuebinm	2022-02-17	1	-7/+10
\| \| \| \|	(also some evaluateNF, leading to slightly less memory usage)
*	change badge output format	stuebinm	2021-12-18	1	-7/+4
\| \| \| \|	(following a discussion with hxchn)
*	fixed & removed a bunch of old TODOs	stuebinm	2021-12-16	1	-5/+5
\|
*	we don't support ellipses	stuebinm	2021-12-16	1	-4/+1
\|
*	lots of code reorganising and some deduplication	stuebinm	2021-12-04	1	-4/+4
\| \| \| \| \| \| \|	it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly.
*	collect badges from object layers	stuebinm	2021-12-02	1	-0/+70
	this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.