Verified Commit 921098b2 authored by Jakob Moser's avatar Jakob Moser
Browse files

Add linter and typechecker

parent 1eada85d