GitHub repository: litalshl/variables_inference
Created: 2019-04-08T06:02:50Z
Description: Variables inference based on the publication "Extending Hindley-Milner Type Inference with  Coercive Structural Subtyping" by Dmitriy Traytel, Stefan Berghofer, and Tobias Nipkow