├── .gitignore ├── LICENSE.txt ├── README.md └── inference.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rob-smallshire/hindley-milner-python/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rob-smallshire/hindley-milner-python/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rob-smallshire/hindley-milner-python/HEAD/README.md -------------------------------------------------------------------------------- /inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rob-smallshire/hindley-milner-python/HEAD/inference.py --------------------------------------------------------------------------------