objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Add docs and tests in `Common.hs` #452

Open deemp opened 1 month ago

deemp commented 1 month ago

From https://github.com/objectionary/normalizer/pull/356#discussion_r1606906779:

Add Haddock documentation and doctests to all equal* functions in the Common.hs module to make sure we do not break it in the future.