Open ple13 opened 2 weeks ago
Currently we don't have a type check for python yet. We need to pick one and add it to our repo. Candidates are Pyre, PyType.
Do we have any particular selection criteria to consider, or it is an arbitrary choice between Pyre and PyType?
Currently we don't have a type check for python yet. We need to pick one and add it to our repo. Candidates are Pyre, PyType.