walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-12-08	rudimentary linting for overlapping layers	stuebinm	1	-0/+5

2021-12-04	lots of code reorganising and some deduplication	stuebinm	1	-1/+1
	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.
2021-12-04	refuse doubled names	stuebinm	1	-0/+5

2021-12-02	do (naïve) html escaping	stuebinm	1	-0/+6
	because we can't ever trust workadventure, apparently. why are we using that thing again?
2021-10-30	add tileset property linting	stuebinm	1	-2/+5
	this reorganised the whole linting for tilesets somewhat; it's now very similar to that linting layers, and it may be possible to abstract some of the code away ...
2021-09-20	use PrettyPrinter more	stuebinm	1	-1/+5

2021-09-19	some properties require non-empty layers	stuebinm	1	-2/+8

2021-09-19	support for properties that aren't strings	stuebinm	1	-0/+6
	apparently i couldn't read or something?
2021-09-18	moved types into Types.hs	stuebinm	1	-1/+1
	it's almost as if there's some structure to this code!
2021-09-18	tame the strings	stuebinm	1	-14/+24
	Adds a PrettyPrint typeclass which operates on Text and should replace Show, since constantly converting strings from linked lists to arrays seems somewhat silly.
2021-09-16	moving lots of code around	stuebinm	1	-0/+27
	(also renaming things now that concepts seem a bit clearer)