Skip to content

Toy implementation of type inference for GADTs and TypeFamilies

License

Notifications You must be signed in to change notification settings

coord-e/impl-outsidein

Repository files navigation

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.

About

Toy implementation of type inference for GADTs and TypeFamilies

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published