walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	lint embedded tilesets	stuebinm	2021-09-20	1	-2/+2
\|
*	lint general map properties	stuebinm	2021-09-20	1	-2/+2
\|
*	some properties require non-empty layers	stuebinm	2021-09-19	1	-2/+4
\|
*	support for properties that aren't strings	stuebinm	2021-09-19	1	-13/+29
\| \| \| \|	apparently i couldn't read or something?
*	can collect dependencies!	stuebinm	2021-09-18	1	-2/+2
\| \| \| \| \| \| \|	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)
*	type check properties	stuebinm	2021-09-18	1	-1/+25
\| \| \| \| \| \|	/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
*	input options, output json	stuebinm	2021-09-16	1	-1/+1
\| \| \| \| \| \| \|	input options are mostly dummies for now, but some work (e.g. --inpath and --json). Lints can now be optionally printed as json to be reasonably machine-readable (and the json can be pretty-printed to make it human-readable again …).
*	moving lots of code around	stuebinm	2021-09-16	1	-0/+400
	(also renaming things now that concepts seem a bit clearer)