Commit graph

3 commits

Author SHA1 Message Date
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