4 Commits (development)

All Branches

Search

Author	SHA1	Message	Date
Thomas Lindner	7d67b59f5a	run linting/typechecking only once	2021-11-18 02:09:18 +01:00
Thomas Lindner	877b79c681	disallow untyped defs	2021-11-18 01:59:09 +01:00
Thomas Lindner	4a10c7a9ba	typecheck with mypy	2021-11-17 23:46:38 +01:00
Thomas Lindner	a47c52d8ad	basic python package	2021-11-16 01:00:38 +01:00