walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-02-28	separate tiled modules out into own package	stuebinm	1	-2/+2

2022-02-18	switch to universum prelude	stuebinm	1	-8/+7
	also don't keep adjusted maps around if not necessary
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.