Add typechecking to continuous integration

diprism / fggs

Factor Graph Grammars in Python

MIT License

13 stars 3 forks source link

Closed darcey closed 2 years ago

darcey commented 2 years ago

We have a "make typecheck" in the Makefile, but we don't use it in CI, and maybe we should.

davidweichiang commented 2 years ago

First we have to make the code typecheck -- right now there are a lot of errors :(