Index - G
| getDeclarationArity | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| getDeclarationName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
free-theorems-0.3.2.0: Automatic generation of free theorems.