free-theorems-0.3.2.0: Automatic generation of free theorems.

Index - A

asCompleteTheoremLanguage.Haskell.FreeTheorems
asTheoremLanguage.Haskell.FreeTheorems