Skip to content

typeclass comments

Ralf Jung requested to merge ralf/comments into master

I only now understood why Equiv is called the way it is. Let's document that.

Merge request reports