Skip to content

Add [Hint Mode]s to the reification typeclasses.

Dan Frumin requested to merge hint_modes into master

I though I'd make an effort into documenting those, instead of trying to figure out what does each typeclass do every time I look at them. @robbertkrebbers, can you take a look?

Merge request reports