walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-09-20	lint embedded tilesets	stuebinm	1	-2/+13

2021-09-20	lint map things that aren't custom properties	stuebinm	1	-4/+31

2021-09-20	lint general map properties	stuebinm	1	-63/+94

2021-09-19	some properties require non-empty layers	stuebinm	1	-41/+78

2021-09-19	support for properties that aren't strings	stuebinm	1	-36/+52
	apparently i couldn't read or something?
2021-09-18	collecting map dependencies	stuebinm	1	-8/+22

2021-09-18	can collect dependencies!	stuebinm	1	-6/+8
	There's now a Lint type, which may be either a "true lint" (which is a Hint, which contains some message and level of severity), or a Depends, which indicates that this map depends on some ressource or other (and is otherwise treated as a special info Hint in all other cases)
2021-09-18	type check properties	stuebinm	1	-53/+15
	/finally/ figured out that all properties just look like {name, value, type} so now that's abstracted away and Properties.hs doesn't look like javascript anymore
2021-09-18	tame the strings	stuebinm	1	-8/+9
	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	some unused code	stuebinm	1	-5/+2

2021-09-16	moving lots of code around	stuebinm	1	-0/+116
	(also renaming things now that concepts seem a bit clearer)