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

Index - I

IdentLanguage.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax
IdentifierLanguage.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax
ImplicationLanguage.Haskell.FreeTheorems.Theorems
InequationalTheoremLanguage.Haskell.FreeTheorems
IntermediateLanguage.Haskell.FreeTheorems
interpretLanguage.Haskell.FreeTheorems
IsEqualLanguage.Haskell.FreeTheorems.Theorems
IsLessEqLanguage.Haskell.FreeTheorems.Theorems
IsMemberLanguage.Haskell.FreeTheorems.Theorems
IsNotBotLanguage.Haskell.FreeTheorems.Theorems
isStrictDeclarationLanguage.Haskell.FreeTheorems.ValidSyntax
IsTrueLanguage.Haskell.FreeTheorems.Theorems