walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	do (naïve) html escaping	stuebinm	2021-12-02	1	-0/+6
\| \| \| \| \| \|	because we can't ever trust workadventure, apparently. why are we using that thing again?
*	add tileset property linting	stuebinm	2021-10-30	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 ...
*	use PrettyPrinter more	stuebinm	2021-09-20	1	-1/+5
\|
*	some properties require non-empty layers	stuebinm	2021-09-19	1	-2/+8
\|
*	support for properties that aren't strings	stuebinm	2021-09-19	1	-0/+6
\| \| \| \|	apparently i couldn't read or something?
*	moved types into Types.hs	stuebinm	2021-09-18	1	-1/+1
\| \| \| \|	it's almost as if there's some structure to this code!
*	tame the strings	stuebinm	2021-09-18	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.
*	moving lots of code around	stuebinm	2021-09-16	1	-0/+27
	(also renaming things now that concepts seem a bit clearer)