Issues
- 2
Loop index variable type is None if printed
#81 opened by radwasherif - 0
Write doctests
#63 opened by caterinaurban - 2
- 0
Usage analysis ignores array aliases
#70 opened by dohrau - 1
- 2
Quick Start instructions missing
#16 opened by vakaras - 1
MyPy Examples
#52 opened by caterinaurban - 3
Inference does not work for __dict__
#55 opened by caterinaurban - 1
Inference Enhancements
#57 opened by mostafa-abdullah - 1
Another project for the type inference
#60 opened by caterinaurban - 1
Update description/readme
#62 opened by mbouaziz - 3
Dependency list is out-dated
#17 opened by vakaras - 1
Allow mutually recursive functions
#43 opened by mostafa-abdullah - 4
Limitation with classes order?
#56 opened by caterinaurban - 1
[Bug] Bug with classes
#42 opened by mostafa-abdullah - 6
- 1
- 0
[Enhancement] Add support for default arguments in class instantiation
#36 opened by mostafa-abdullah - 0
[Enhancement] Add a single axiom for non-confusing class instantiation name.
#33 opened by mostafa-abdullah - 4
Type sort 'tuple' should be removed
#48 opened by caterinaurban - 1
- 0
- 0
- 0