Skip to content

Latest commit

 

History

History
10 lines (6 loc) · 601 Bytes

README.md

File metadata and controls

10 lines (6 loc) · 601 Bytes

Toy implementation of OutsideIn(X)

Actions Status

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.