This project now lives at https://github.com/kennknowles/python-rightarrow
Many thanks to @ccshan for inspiring the name.
A type language for Python, including parsing, pretty-printing, type inference, type checking, and run-time contract enforcement.
pip install typelanguage==0.3
This project now lives at https://github.com/kennknowles/python-rightarrow
Many thanks to @ccshan for inspiring the name.