Commit Graph

2 Commits

Author SHA1 Message Date
Ramon Wenger 5bcfda9156 Clean up code to make typechecker happy 2022-12-29 16:39:45 +01:00
Ramon Wenger a4a93a2214 Fix some linting errors and warnings 2022-12-29 16:35:40 +01:00