Michael Telatynski e50e04c507 Improve typing (#364) ...

* Improve typing

* Make sonar happier

2022-05-23 15:44:29 +01:00

..

global.d.ts

fix ts linting and delint the world

2021-07-01 09:22:57 +01:00

keytar.d.ts

Improve typing (#364)

2022-05-23 15:44:29 +01:00

matrix-seshat.d.ts

Improve typing (#364)

2022-05-23 15:44:29 +01:00