walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-03-19	switch to universum prelude	stuebinm	1	-9/+7
	also don't keep adjusted maps around if not necessary
2021-12-29	maps, maps, and yet more maps	stuebinm	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)
2021-12-29	tiles can also have properties like tile layers	stuebinm	1	-1/+21

2021-12-23	add suggestions for misspelled properties	stuebinm	1	-2/+3
	(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
2021-12-18	badges are set on objects, not layers	stuebinm	1	-1/+5
	(and `url` is, too)
2021-12-16	fixed & removed a bunch of old TODOs	stuebinm	1	-5/+12

2021-12-04	lots of code reorganising and some deduplication	stuebinm	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.