walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	lint embedded tilesets	stuebinm	2021-09-20	4	-11/+21
*	lint map things that aren't custom properties	stuebinm	2021-09-20	2	-12/+36
*	lint general map properties	stuebinm	2021-09-20	4	-72/+121
*	some properties require non-empty layers	stuebinm	2021-09-19	4	-46/+92
*	support for properties that aren't strings	stuebinm	2021-09-19	4	-49/+88
*	collecting map dependencies	stuebinm	2021-09-18	4	-20/+70
*	moved types into Types.hs	stuebinm	2021-09-18	4	-51/+66
*	can collect dependencies!	stuebinm	2021-09-18	4	-25/+56
*	type check properties	stuebinm	2021-09-18	3	-56/+42
*	tame the strings	stuebinm	2021-09-18	4	-43/+55
*	(somewhat) reasonable representation of parse errors	stuebinm	2021-09-17	2	-17/+41
*	input options, output json	stuebinm	2021-09-16	3	-13/+103
*	some unused code	stuebinm	2021-09-16	1	-5/+2
*	moving lots of code around	stuebinm	2021-09-16	5	-0/+607