nextcore
nextcore copied to clipboard
Run type-checkers on tests and examples
Currently, tests is not type-checked.
This should be easily fixed by adding some init files