for testing and deploying your application
for finding and fixing issues
for empowering human code reviews
Checks if the types of returned expressions are compatible with the hinted types.
Astrotomic /
stancy
Gummibeer