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.
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.