This repository contains implementation of type inference algorithm described in the thesis of Ryan Heise https://opus.lib.uts.edu.au/handle/10453/24178
The code is copied from the author website: https://www.ryanheise.com/software/evcr/
Maven project definition is added for convenience.
Run main
from Shell.java
and paste something from examples
directory to play with it.