Toy implementation of OutsideIn(X)

This repository contains the toy implementation of OutsideIn(X) type inference algorithm[1]. The evidence branch implements evidence generation on top of the type class and type family solver presented in [1].

Bibliography

• [1] Vytiniotis, Dimitrios, et al. "OutsideIn (X) Modular type inference with local assumptions." Journal of functional programming 21.4-5 (2011): 333-412.