Rhodium is an implementation of the OutsideIn(X) algorithm as described in OutsideIn (X) Modular type inference with local assumptions by Vytiniotis, D., Jones, S. P., Schrijvers, T., & Sulzmann, M. (2011).
The implementation is developed as part of a thesis by Joris Burgers, to work with the existing Helium compiler.
A formal specification of this work can be found in `Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning by Burgers, Hage and Serrano.
-
Notifications
You must be signed in to change notification settings - Fork 1
Rhodium is a modification of the OutsideIn(X) algorithm for detecting type errors using heuristics.
License
jorisburgers/rhodium
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Rhodium is a modification of the OutsideIn(X) algorithm for detecting type errors using heuristics.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published