walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	unbreak a very, very long rebase	stuebinm	2022-03-19	1	-4/+2
*	make tiled stricter (and organise some imports)	stuebinm	2022-03-19	1	-1/+1
*	separate tiled modules out into own package	stuebinm	2022-03-19	1	-1/+1
*	switch to universum prelude	stuebinm	2022-03-19	1	-13/+6
*	use hpack and clean up modules	stuebinm	2022-03-19	1	-1/+8
*	maps, maps, and yet more maps	stuebinm	2021-12-29	1	-1/+6
*	tiles can also have properties like tile layers	stuebinm	2021-12-29	1	-4/+4
*	suggest setting map meta properties if not given	stuebinm	2021-12-15	1	-4/+8
*	rudimentary linting for overlapping layers	stuebinm	2021-12-08	1	-0/+5
*	lots of code reorganising and some deduplication	stuebinm	2021-12-04	1	-1/+1
*	refuse doubled names	stuebinm	2021-12-04	1	-0/+5
*	do (naïve) html escaping	stuebinm	2021-12-02	1	-0/+6
*	add tileset property linting	stuebinm	2021-10-30	1	-2/+5
*	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
*	moved types into Types.hs	stuebinm	2021-09-18	1	-1/+1
*	tame the strings	stuebinm	2021-09-18	1	-14/+24
*	moving lots of code around	stuebinm	2021-09-16	1	-0/+27