Skip to content

typeclass comments

Ralf Jungrequested 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