Closed kevinbarabash closed 2 years ago
This is a port of https://github.com/rob-smallshire/hindley-milner-python/blob/master/inference.py. I've split the code into multiple files and changed the main() function to be suite of tests.
main()
This is a port of https://github.com/rob-smallshire/hindley-milner-python/blob/master/inference.py. I've split the code into multiple files and changed the
main()
function to be suite of tests.