We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Enable syntax highlighting
Theory combinators
Updated EqClass (markdown)
[EqClass] Fix markup
Slides about the “EqClass” experiment