Skip to content
GitLab

typeclass comments

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