Is this the code for your thesis?

[nightscape]

Hi Hubert,

I just discovered your thesis (https://infoscience.epfl.ch/record/214757/files/EPFL_TH6741.pdf) while trying to figure out a major and long-standing disagreement between me and the compiler ;) I think that something like you built for your thesis would be the ideal assistance in understanding the type-checker and the implicit search.

Is this repo the code you used for your thesis? Is there any chance of getting this to run in an actual Scala project?

Best Martin