walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	switch to universum prelude	stuebinm	2022-03-19	1	-9/+7
\| \| \| \|	also don't keep adjusted maps around if not necessary
*	maps, maps, and yet more maps	stuebinm	2021-12-29	1	-4/+4
\| \| \| \| \| \| \|	don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later)
*	tiles can also have properties like tile layers	stuebinm	2021-12-29	1	-1/+21
\|
*	add suggestions for misspelled properties	stuebinm	2021-12-23	1	-2/+3
\| \| \| \| \|	(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
*	badges are set on objects, not layers	stuebinm	2021-12-18	1	-1/+5
\| \| \| \|	(and `url` is, too)
*	fixed & removed a bunch of old TODOs	stuebinm	2021-12-16	1	-5/+12
\|
*	lots of code reorganising and some deduplication	stuebinm	2021-12-04	1	-0/+55
	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.