klaro-js
klaro-js copied to clipboard
WIP: Move to Typescript
This branch moves the Klaro codebase to Typescript to provide better correctness assurances and make future development easier. This is still a work in progress.