Follows the description of the algorithms presented in the paper Tabled Typeclass Resolution by Daniel Selsam, Sebastian Ullrich, Leonardo de Moura.
The code could use some refactoring but it seems to work on the basic tests I implemented.
-
Notifications
You must be signed in to change notification settings - Fork 0
PhilippeGSK/typeclass_resolution
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published